A process creation mechanism in process algebra
Publication date
1985-09
Authors
Bergstra, J.A.
Editors
Advisors
Supervisors
DOI
Document Type
Research paper
Metadata
Show full item recordCollections
License
Abstract
We introduce an encapsulation operator Eφ that provides process algebra
with a process creation mechanism. Several simple examples are considered.
It is shown that Eφ does not extend the defining power of the system 'ACP
with guarded recursion'.