An exercise in proving parallel programs correct
- 1 December 1977
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 20 (12), 921-930
- https://doi.org/10.1145/359897.359903
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An exercise in proving parallel programs correctCommunications of the ACM, 1977
- Multiprocessing compactifying garbage collectionCommunications of the ACM, 1975
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969