Process algebra for synchronous communication
- 1 January 1984
- journal article
- Published by Elsevier in Information and Control
- Vol. 60 (1-3), 109-137
- https://doi.org/10.1016/s0019-9958(84)80025-x
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- 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
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Communicating sequential processesCommunications of the ACM, 1978