dipakboyed / paxos Goto Github PK
View Code? Open in Web Editor NEWAn implementation of the Paxos ‘synod’ consensus algorithm based on the ‘Paxos made simple’ paper. This solves a simple consensus problem of selecting an alphabet between ‘a’ and ‘z’ and attempts to verify the correctness of our implementation based on observed results
Home Page: http://research.microsoft.com/en-us/um/people/lamport/pubs/paxos-simple.pdf
License: MIT License