Links for paxos

paxos-0.1.tar.gz
0.1 home_page
http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#lamport-paxos
http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#paxos-simple