AllConcur: Leaderless Concurrent Atomic Broadcast
Mencius: Building Efficient Replicated State Machine for WANs