# Theory

- [Index](/blog/seminal-theory/index.md)
- [Impossibility of Distributed Consensus with One Faulty Process](/blog/seminal-theory/index/untitled.md): https://groups.csail.mit.edu/tds/papers/Lynch/jacm85.pdf
- [Time, Clocks, and the Ordering of Events in a Distributed System](/blog/seminal-theory/index/time-clocks-and-the-ordering-of-events-ina-distributed-system.md): https://amturing.acm.org/p558-lamport.pdf
- [Using Reasoning About Knowledge to analyze Distributed Systems](/blog/seminal-theory/index/using-reasoning-about-knowledge-to-analyze-distributed-systems.md): https://www.cs.cornell.edu/home/halpern/papers/UsingRAK.pdf
- [CAP Twelve Years Later: How the “Rules” Have Changed](/blog/seminal-theory/index/cap-twelve-years-later-how-the-rules-have-changed.md): https://scholar.google.com/scholar?cluster=17642052422667212790
- [A Note on Distributed Computing](/blog/seminal-theory/index/a-note-on-distributed-computing.md): http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.7628