The algebra of recursively defined processes and the algebra of regular processes
- 1 January 1984
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Denotational semantics of concurrencyPublished by Association for Computing Machinery (ACM) ,1982
- A term model for synchronous processesInformation and Control, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Communicating sequential processesCommunications of the ACM, 1978