A weakest precondition semantics for communicating processes
- 1 January 1982
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A proof technique for communicating sequential processesActa Informatica, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Semantic analysis of communicating sequential processesLecture Notes in Computer Science, 1980
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979
- High level programming for distributed computingCommunications of the ACM, 1979
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Nondeterminism and the Correctness of Parallel Programs.Published by Defense Technical Information Center (DTIC) ,1977
- An axiomatic proof technique for parallel programs IActa Informatica, 1976