Project SherlockEst. Knowledge

Paper

2001

Paxos Made Simple

Leslie Lamport

Restates Paxos stripped of the parliamentary parable, arguing the protocol itself is simple once separated from the proof that it works.

Before you start

FreeIntermediatelink checked 17 Sept 2026

If this is the wrong level

Too easy? Go hereThe Part-Time ParliamentLeslie Lamport, 1998The original Paxos paper: a protocol for agreeing a value among unreliable processors, told as a parable about a parliament.

Filed under Distributed Systems in Computer Science.