Mencius: Building Efficient Replicated State Machine for WANs
Implementing fault-tolerant services using the state machine approach: a tutorial