AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version)
Dynamo: amazon's highly available key-value store