Synchronization of concurrent processes without globality assumptions
- 1 September 1981
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 16 (9) , 66-80
- https://doi.org/10.1145/954312.954317
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- COSY ? a system specification language based on paths and processesActa Informatica, 1979
- Abstract specification of resource accessing disciplinesACM SIGPLAN Notices, 1978
- Formal semantics of a class of high-level primitives for coordinating concurrent processesActa Informatica, 1975