| Two Recursive Generalizations of Iteration in Process Algebra (1998) | |||||||||||||||
Abstract | |||||||||||||||
| The process algebraic framework ACP with abstraction is extended with two recursive generalizations of iteration: the push-down operation $, defined by x y = x(x y) + y, and the nesting operation ], defined by x ] y = x(x ] y)x + y. With help of auxiliary actions, handshaking communication on these, and one of $ or ] we provide simple definitions of the following standard processes: stack, context-free process, bag, and queue. This supports the equational founding of process algebra: standard processes can be represented as terms. | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||