Exploiting Synchrony in Replicated State Machines
Paxos Made Simple