Generalized Consensus and Paxos
The part-time parliament