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