Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- 30 April 1988
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 36 (2) , 158-224
- https://doi.org/10.1016/0022-0000(88)90026-8
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Infinite streams and finite observations in the semantics of uniform concurrencyTheoretical Computer Science, 1987
- A theory for nondeterminism, parallelism, communication, and concurrencyTheoretical Computer Science, 1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Linear time and branching time semantics for recursion with mergeTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- Formal Justification of a Proof System for Communicating Sequential ProcessesJournal of the ACM, 1983
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Recursive assertions and parallel programsActa Informatica, 1981
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979