Asynchronous systems (references)
Recommended reading on asynchronous systems.
Main reference:
- DA book (mainly, chapters 8, 14, 18 and 19)
Free alternatives / good complements:
- Mark R. Tuttle. Hierarchical correctness proofs for distributed algorithms
- Joergen Soegaard-Andersen, Nancy Lynch, and Butler Lampson. Correctness of communication protocols: A case study
- Ozalp Babaoglu and Keith Marzullo. Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms
Additional reading:
- L. Lamport. Specifying systems
- F. Mattern. Virtual Time and Global States of Distributed Systems