Tango: distributed data structures over a shared log
Paxos Made Simple