本文对Paxos相关论文进行了阅读分析思考
Leslie Lamport本人就是一部传奇，是LaTex发明人，是多种算法和分布式思想的提出者，微软科学家，图灵奖得主。对拜占庭将军[著名计算机科学家，图灵奖得主姚期智对此也有深入研究]等问题贡献良多。
1, 2, 3, 4, 5, 6, 7
Paxos Made Simple(2001) ↩
Cheap Paxos(2004) ↩
Fast Paxos(2005) ↩
Stoppable Paxos(2008) ↩
Vertical Paxos and Primary-Backup Replication(2009) ↩
Leaderless Byzantine Paxos(2011) ↩
Byzantizing Paxos by Refinement(2012) ↩