A Model and Proof Technique for Message-Based Systems
- 1 November 1980
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 9 (4) , 768-784
- https://doi.org/10.1137/0209060
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- High level programming for distributed computingCommunications of the ACM, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case)IEEE Transactions on Software Engineering, 1978
- Petri NetsACM Computing Surveys, 1977
- Verifying properties of parallel programsCommunications of the ACM, 1976
- A new solution of Dijkstra's concurrent programming problemCommunications of the ACM, 1974
- Flow Control in a Resource-Sharing Computer NetworkIEEE Transactions on Communications, 1972
- System DeadlocksACM Computing Surveys, 1971
- Solution of a problem in concurrent programming controlCommunications of the ACM, 1965