Serializability in distributed systems with handshaking
- 1 January 1988
- 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 new paradigm for the design of concurrent systemsACM SIGAda Ada Letters, 1987
- Appraising fairness in distributed languagesPublished by Association for Computing Machinery (ACM) ,1987
- An example of stepwise refinement of distributed programs: quiescence detectionACM Transactions on Programming Languages and Systems, 1986
- FairnessPublished by Springer Nature ,1986
- Correctness Proofs of Distributed Termination AlgorithmsPublished by Springer Nature ,1985
- Fair termination of communicating processesPublished by Association for Computing Machinery (ACM) ,1984
- How to cook a temporal proof system for your pet languagePublished by Association for Computing Machinery (ACM) ,1983
- Decentralization of process nets with centralized controlPublished by Association for Computing Machinery (ACM) ,1983
- Communicating sequential processesCommunications of the ACM, 1978
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978