Paxos simulation