A proof technique for communicating sequential processes
- 1 June 1981
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 15 (3) , 281-302
- https://doi.org/10.1007/bf00289266
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Assignment and Procedure Call Proof RulesACM Transactions on Programming Languages and Systems, 1980
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Output Guards and Nondeterminism in “Communicating Sequential Processes”ACM Transactions on Programming Languages and Systems, 1980
- Distributed TerminationACM Transactions on Programming Languages and Systems, 1980
- Semantic analysis of communicating sequential processesLecture Notes in Computer Science, 1980
- Communication and Synchronization in Distributed SystemsIEEE Transactions on Software Engineering, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- An axiomatic basis for computer programmingCommunications of the ACM, 1969