Partial order semantics versus interleaving semantics for CSP — like languages and its impact on fairness
Author:
- 1 January 1984
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 403-413
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- An operational semantics for CSP1983
- Decomposition of distributed programs into communication-closed layersScience of Computer Programming, 1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Impartiality, justice and fairness: The ethics of concurrent termination1981
- A linear history semantics for distributed languages extended abstract1980
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Cooperating Sequential Processes1968