COSY: Its relation to nets and to CSP
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 416-440
- https://doi.org/10.1007/3-540-17906-2_33
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- The specification of process synchronization by path expressionsPublished by Springer Nature ,2005
- Adequate path expressionsPublished by Springer Nature ,2005
- Petri NetsPublished by Springer Nature ,1988
- Transforming sequential systems into concurrent systemsTheoretical Computer Science, 1985
- Concurrent MachinesThe Computer Journal, 1985
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Adequacy properties of path programsTheoretical Computer Science, 1982
- Synchronization of concurrent processes without globality assumptionsACM SIGPLAN Notices, 1981
- An improved algorithm for decentralized extrema-finding in circular configurations of processesCommunications of the ACM, 1979
- Communicating sequential processesCommunications of the ACM, 1978