Semantics of nondeterminism, concurrency, and communication
- 1 December 1979
- journal article
- Published by Elsevier BV in Journal of Computer and System Sciences
- Vol. 19 (3), 290-308
- https://doi.org/10.1016/0022-0000(79)90006-0
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Power domainsJournal of Computer and System Sciences, 1978
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975
- MonitorsCommunications of the ACM, 1974
- Program proving: CoroutinesActa Informatica, 1973