Queue merge : a binary operator for modeling queueing behavior
Pjl Pieter Cuijpers, Faj Frank Koenders, Mgp Mark Pustjens, Bag Bram Senders, van Pja Paul Tilburg, P Pieter Verduin · TU/e Research Portal · 2009
We propose a process algebra QA, in which it is possible to describe a queue process. This process models a queue data structure in the same way as it is possible to model a bag data structure and a stack data structure using other process algebras. Furthermore we give a proof sketch that every process in this algebra is branching bisimilar to a regular process communicating with this queue. We try to establish a link between processes in QA and languages generated by queue grammars, but fail to map either of those to the other, conjecturing that no algebraic operator can exist which directly models the class of grammars that use a queue.