Extended naming conventions for communicating processes
- 30 April 1983
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 3 (1), 101-114
- https://doi.org/10.1016/0167-6423(83)90005-9
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Distributed processesPublished by Springer Nature ,2006
- Formal Justification of a Proof System for Communicating Sequential ProcessesJournal of the ACM, 1983
- A weakest precondition semantics for communicating processesLecture Notes in Computer Science, 1982
- Axioms and proof rules for Ada tasksIEE Proceedings E Computers and Digital Techniques, 1982
- A sound and complete HOARE axiomatization of the ADA-rendezvousPublished by Springer Nature ,1982
- A proof technique for communicating sequential processesActa Informatica, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Distributed TerminationACM Transactions on Programming Languages and Systems, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- Verifying properties of parallel programsCommunications of the ACM, 1976