A complete set of axioms for a theory of communicating sequential processes
- 1 January 1983
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 115-126
- https://doi.org/10.1007/3-540-12689-9_98
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An operational semantics for CSPLecture Notes in Computer Science, 1983
- Algebraic semanticsLecture Notes in Computer Science, 1981
- The Representation of Communication and ConcurrencyPublished by Defense Technical Information Center (DTIC) ,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
- A Powerdomain ConstructionSIAM Journal on Computing, 1976