A family of protocols for solving distributed consensus, first described by Leslie Lamport in 1989. Paxos allows a group of unreliable processes to agree on a single value, even when some processes or messages fail.
- Distributed Consensus Revised - Heidi Howard (PhD thesis, Cambridge) - re-examines the foundations of Paxos and proves an extensive generalisation of the algorithm, enabling a diverse family of consensus protocols with new tradeoffs in performance, scalability, and reliability