An improved failures model for communicating processes
- 1 January 1985
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 281-305
- https://doi.org/10.1007/3-540-15670-4_14
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Specification-oriented semantics for communicating processesPublished by Springer Science and Business Media LLC ,2005
- 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 processesPublished by Springer Science and Business Media LLC ,1984
- Synchronous and asynchronous experiments on processesInformation and Control, 1983
- Possible futures, acceptances, refusals, and communicating processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- 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