Proving properties of interacting processes
- 1 January 1975
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 4 (2) , 117-126
- https://doi.org/10.1007/bf00288744
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A comparison of two synchronizing conceptsActa Informatica, 1972
- Comments on ?A comparison of two synchronizing concepts by P.B. Hansen?Acta Informatica, 1972
- Concurrent control with “readers” and “writers”Communications of the ACM, 1971