An implementation of P and V
- 13 August 1981
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 12 (4) , 196-198
- https://doi.org/10.1016/0020-0190(81)90100-9
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- A new solution of Dijkstra's concurrent programming problemCommunications of the ACM, 1974
- Solution of a problem in concurrent programming controlCommunications of the ACM, 1965