Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control
Paxos Made Simple