Abstract
An unbounded queue over a finite set of data values is a process Q in A ∞ 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.
Get full access to this article
View all access options for this article.