Parallel programming: An axiomatic approach
- 1 June 1975
- journal article
- Published by Elsevier in Computer Languages
- Vol. 1 (2) , 151-160
- https://doi.org/10.1016/0096-0551(75)90014-4
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- MonitorsCommunications of the ACM, 1974
- Program proving: CoroutinesActa Informatica, 1973
- Proof of correctness of data representationsActa Informatica, 1972
- The programming language pascalActa Informatica, 1971
- Design of a separable transition-diagram compilerCommunications of the ACM, 1963