Diff of Paxos

• The added line is THIS COLOR.
• The deleted line is THIS COLOR.
• Go to Paxos.

- Paxos Made Simple - Leslie Lamport - 01 Nov 2001
-- http://research.microsoft.com/en-us/um/people/lamport/pubs/paxos-simple.pdf

- [[TLA+]]