Paxos paper and pseudocode

[Victor Costan]

Paxos Made Simple:
http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#paxos-simple

The Paxos lab in a class I took at MIT (the pseudocode is under "The
Paxos Protocol" section):
http://pdos.csail.mit.edu/6.824-2007/labs/lab-8.html

Thank you all for the interesting discussion tonight!

Victor