Index

• Time, Clocks, and the Ordering of Events in a Distributed System - Lamport 1978

• Impossibility of Distributed Consensus with One Faulty Process - Fischer et al., 1985

• Using Reasoning About Knowledge to analyze Distributed Systems - Halpern 1987

• A Note on Distributed Computing - Waldo et al., 1994

• CAP Twelve Years Later: How the “Rules” Have Changed - Brewer 2012