Algebra of communicating processes with abstraction
- 1 January 1985
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 37, 77-121
- https://doi.org/10.1016/0304-3975(85)90088-x
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Top-down design and the algebra of communicating processesScience of Computer Programming, 1985
- Synchronization treesTheoretical Computer Science, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- A term model for synchronous processesInformation and Control, 1981
- A note on simplification orderingsInformation Processing Letters, 1979