Fast Byzantine Paxos
Impossibility of distributed consensus with one faulty process