A few more Paxos papers to take a gander at -- Quorum reads, Compartmentalization, Matchmaking and Pigs. The Paxos family of consensus protocols (and their papers) are as colorful as they ever were.
A survey of Paxos-based consensus algorithms