Design and analysis of highly parallel and distributed systems
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 451-503
- https://doi.org/10.1007/3-540-10007-5_46
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- COSY ? a system specification language based on paths and processesActa Informatica, 1979
- Abstract specification of resource accessing disciplinesACM SIGPLAN Notices, 1978
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977
- Formal semantics of a class of high-level primitives for coordinating concurrent processesActa Informatica, 1975