- 📄 The Byzantine Generals Problem (L Lamport et al 1982)
- 📄 AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version) (M Poke, T Hoefler, CW Glass 2017)
- 📄 The Chubby lock service for loosely-coupled distributed systems (M Burrows 2006)
- 📄 Consensus in the Presence of Partial Synchrony (C Dwork, N Lynch, L Stockmeyer 1988) "The DLS paper"
- 📄 Fast General Purpose Transactions (BE Smith, T Zhang, B Eggleston) "The Accord paper"
- 📄 Impossibility of Distributed Consensus with One Faulty Process (MJ Fischer, NA Lynch, MS Paterson 1985) "The FLP paper"
- 📄 Practical Byzantine Fault Tolerance (M Castro, B Liskov 1999) "The PBFT paper"
- 📄 ZooKeeper: Wait-free coordination for Internet-scale systems (P Hunt, M Konar, FP Junquiera, B Reed 2010) "The ZooKeeper paper"
- 📄 The Part-Time Parliament (L Lamport 1998) "The Paxos paper"
- 📄 Byzantining Paxos by Refinement (L Lamport 2010)
- 📄 EPaxos Revisited (S Tollman) 2021
- 📄 Flexible Paxos: Quorum intersection revisited (H Howard, D Maklhi, A Spiegelman 2016)
- 📄 Paxos Made Live - An Engineering Perspective (T Chandra, R Griesemer, J Redstone 2007)
- 📄 Paxos Made Simple (L Lamport 2001)
- 📄 There Is More Consensus in Egalitarian Parliaments (I Moraru, DG Andersen, M Kaminsky 2013) "The EPaxos paper"
- 📄 In Search of an Understandable Consensus Algorithm (D Ongaro, J Ousterhout 2014) "The Raft Paper"
- 🎥 Designing for Understandability: The Raft Consensus Algorithm (D Ongaro 2016)
- 💬 Students' Guide to Raft (J Gjengset 2016)
- 📄 Viewstamped Replication Revisited (B Liskov, J Cowling 2012)
- 💬 Viewstamped Replication Explained (B Bonacci 2018)
- 📄 Time, Clocks, and the Ordering of Events in a Distributed System (L Lamport 1978)
- 📄 Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases (S Kulkarni et al 2014) "The HLC paper"
- 📄 Timestamps in Message-Passing Systems That Preserve the Partial Ordering (CJ Fidge 1988) "The vector clock paper"
- 🔗 Jepsen Analyses
- 🎥 Jepsen Talks
- 🎥 Everything About Distributed Systems is Terrible (H Wayne 2018)
- 📄 Specifying Concurrent Systems With TLA+ (L Lamport 1999)