Exploiting Synchrony in Replicated State Machines
Mencius: Building Efficient Replicated State Machine for WANs