Mencius: Building Efficient Replicated State Machine for WANs
Impossibility of distributed consensus with one faulty process