Formal semantics of a class of high-level primitives for coordinating concurrent processes
- 1 January 1975
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 5 (4) , 297-332
- https://doi.org/10.1007/bf00264564
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: