Semantics of communicating processes
- 30 June 1984
- journal article
- Published by Elsevier in Information and Control
- Vol. 61 (3) , 202-246
- https://doi.org/10.1016/s0019-9958(84)80048-0
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Transformational semantics for concurrent programsInformation Processing Letters, 1980
- Behaviours of concurrent systemsTheoretical Computer Science, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Power domainsJournal of Computer and System Sciences, 1978
- A Powerdomain ConstructionSIAM Journal on Computing, 1976