Implementation of Paxos