Generalized Consensus and Paxos
Impossibility of distributed consensus with one faulty process