A calculus of total correctness for communicating processes
- 31 October 1981
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 1 (1-2), 49-72
- https://doi.org/10.1016/0167-6423(81)90005-8
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Verification system for partial correctness of communicating sequential processesSystems and Computers in Japan, 1986
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Guarded commands, non-determinacy and a calculus for the derivation of programsPublished by Association for Computing Machinery (ACM) ,1975