S-Paxos: Offloading the Leader for High Throughput State Machine Replication
Mencius: Building Efficient Replicated State Machine for WANs