An improved failures model for communicating processes
Authors:
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 281-305
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A linear-history semantics for languages for distributed programmingTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Models and operators for nondeterministic processes1984
- Synchronous and asynchronous experiments on processesInformation and Control, 1983
- Testing equivalences for processes1983
- Possible futures, acceptances, refusals, and communicating processes1981
- A proof technique for communicating sequential processesActa Informatica, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979
- Communicating sequential processesCommunications of the ACM, 1978