> For the complete documentation index, see [llms.txt](https://xzhu0027.gitbook.io/blog/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://xzhu0027.gitbook.io/blog/seminal-theory/index.md).

# Index

* [**Time, Clocks, and the Ordering of Events in a Distributed System**](https://lamport.azurewebsites.net/pubs/time-clocks.pdf) - Lamport 1978
* [**Impossibility of Distributed Consensus with One Faulty Process**](https://groups.csail.mit.edu/tds/papers/Lynch/jacm85.pdf) - Fischer et al., 1985
* [**Using Reasoning About Knowledge to analyze Distributed Systems**](https://www.annualreviews.org/doi/abs/10.1146/annurev.cs.02.060187.000345) - Halpern 1987
* [**A Note on Distributed Computing**](http://www.psinaptic.com/link_files/distributed_computing.pdf) - Waldo et al., 1994
* [**CAP Twelve Years Later: How the “Rules” Have Changed** ](https://www.infoq.com/articles/cap-twelve-years-later-how-the-rules-have-changed/)- Brewer 2012