An 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
http://en.wikipedia.org/wiki/Paxos_(computer_science)
http://research.microsoft.com/en-us/um/people/lamport/pubs/paxos-simple.pdf
Report_Paxos.pdf : Summary Report
SourceCode : Source code directory
SampleOutput : Directory containing output logs
See the Report pdf for details
Compile the Java code and run the .jar