The importance of the left merge operator in process algebras
- 11 December 2005
- book chapter
- Published by Springer Nature
- p. 752-764
- https://doi.org/10.1007/bfb0032072
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- The nonexistence of finite axiomatisations for CCS congruencesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On the semantics of concurrency: Partial orders and transition systemsLecture Notes in Computer Science, 1987
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Process algebra for synchronous communicationInformation and Control, 1984
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980