Using Paxos to Build a Lightweight, Highly Available Key-Value Data Store | IEEE Conference Publication | IEEE Xplore