Processes and the denotational semantics of concurrency
- 31 August 1982
- journal article
- Published by Elsevier BV in Information and Control
- Vol. 54 (1-2), 70-120
- https://doi.org/10.1016/s0019-9958(82)91250-5
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Proposition de semantique denotationnelle pour des reseaux de processus avec operateur de melange equitableTheoretical Computer Science, 1982
- An extensional treatment of dataflow deadlockTheoretical Computer Science, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Metric interpretations of infinite trees and semantics of non deterministic recursive programsTheoretical Computer Science, 1980
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979
- Flowgraphs and Flow AlgebrasJournal of the ACM, 1979
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Distributed processesCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- Power domainsJournal of Computer and System Sciences, 1978