Paxos implementation based on PASC library - View it on GitHub