Exploiting Synchrony in Replicated State Machines
Paxos made live: an engineering perspective