- [ ] Attiya and Welch (1994), "Sequential Consistency versus Linearizability"[^1] - [ ] Bailis (2014), "Linearizability and Serializability"[^1] - [ ] Bailis (2014), "Causality Is Expensive (and What to Do about It)"[^1] - [ ] Bailis and Ghodsi (2013), "Eventual Consistency Today: Limitations, Extensions, and Beyond"[^1] - [ ] Herlihy and Wing (1990), "Linearizability: A Correctness Condition for Concurrent Objects"[^1] * [ ] Hoare (orig. 1985), [*Communicating Sequential Processes*](http://www.usingcsp.com/) - [ ] Lamport (1986), "On Interprocess Communication"[^1] - [x] Lamport (1986), "Time, Clocks, and the Order of Events in a Distributed System"[^1] - [ ] Lamport (1998), "The Part-Time Parliament"[^1] - [ ] Lynch (1989), "A Hundred Impossibility Proofs for Distributed Computing[^1] * [ ] Roscoe (1997), *The Theory and Practice of Concurrency* - [ ] Schneider (1990), "Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial"[^1] [^1]: [[Kleppmann, "Designing Data-Intensive Applications"]]