Somersault Software Fault-Tolerance
Impossibility of distributed consensus with one faulty process