Concepedia
Synthesis lectures on distributed computing theory · 2010 · 83 citations · 118 references
ComputingComputer EngineeringComputer ScienceDistributed SystemsReliable Distributed SystemsAgreement AlgorithmsDistributed AgreementDistributed Agreement Protocols
118
Time, clocks, and the ordering of events in a distributed system
Leslie Lamport · Communications of the ACM · 1978 · 8.4K citations · Full text
Computing, Computer Engineering, Computer Science +17
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.9K citations
Computing, Computer Science, Mathematics +10
The Byzantine Generals Problem
Leslie Lamport, Robert E. Shostak, Marshall C. Pease · ACM Transactions on Programming Languages and Systems · 1982 · 6K citations · Full text
Computing, Computer Science, Byzantine Studies +6
Impossibility of distributed consensus with one faulty process
Michael J. Fischer, Nancy Lynch, Michael S. Paterson · Journal of the ACM · 1985 · 4.6K citations · Full text
Computing, Computer Engineering, Computer Science +15
Linearizability: a correctness condition for concurrent objects
Maurice Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1990 · 3.2K citations · Full text
Computing, Computer Science, Computer Architecture +16