A state-based approach to communicating processes
- 1 March 1988
- journal article
- research article
- Published by Springer Nature in Distributed Computing
- Vol. 3 (1) , 9-18
- https://doi.org/10.1007/bf01788563
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Specification-oriented semantics for Communicating ProcessesActa Informatica, 1986
- Data refinement refined resumePublished by Springer Nature ,1986
- An improved failures model for communicating processesPublished by Springer Nature ,1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984