AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version)
Impossibility of distributed consensus with one faulty process