Process algebra semantics for queues
Publication date
1987-01
Authors
Bergstra, J.A.
Tiuryn, J.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
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.