AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version)
Paxos Made Simple