Abstract
An unbounded queue over a finite set of data values, is a process Q in Aoo
defined by an infinite system of guarded equations. The aim of this paper is
to show that no finite system of guarded equations is capable of defining Q.
