Cooperating proofs for distributed programs with multiparty interactions
- 22 September 1989
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 32 (5) , 235-242
- https://doi.org/10.1016/0020-0190(89)90049-5
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A Methodology for Developing Distributed ProgramsIEEE Transactions on Software Engineering, 1987
- The multiway rendezvousACM Transactions on Programming Languages and Systems, 1987
- Script: A communication abstraction mechanism and its verificationScience of Computer Programming, 1986
- A proof system for concurrent ADA programsScience of Computer Programming, 1984
- A proof technique for communicating sequential processesActa Informatica, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Distributed processesCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- Verifying properties of parallel programsCommunications of the ACM, 1976