A weakest precondition semantics for communicating processes
- 31 December 1984
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 29 (3), 231-250
- https://doi.org/10.1016/0304-3975(84)90001-x
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A proof technique for communicating sequential processesActa Informatica, 1981
- Semantic analysis of communicating sequential processesLecture Notes in Computer Science, 1980
- High level programming for distributed computingCommunications of the ACM, 1979
- Formal derivation of strongly correct concurrent programsActa Informatica, 1979
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- An axiomatic proof technique for parallel programs IActa Informatica, 1976