Page 204 - 《软件学报》2021年第6期

1778 Journal of Software 软件学报 Vol.32, No.6, June 2021

[24] Van Renesse R, Altinbuken D. Paxos made moderately complex. ACM Computing Surveys (CSUR), 2015,47(3):1−36.
[25] Gafni E, Lamport L. Disk Paxos. Distributed Computing, 2003,16(1):1−20.
[26] Lamport L, Massa M. Cheap Paxos. In: Proc. of the Int’l Conf. on Dependable Systems and Networks. 2004. 307−314.
[27] Lamport L. Fast Paxos. Distributed Computing, 2006,19(2):79−103.
[28] Lamport L. Generalized consensus and Paxos. Technical Report, Microsoft Research, 2005.
[29] Lamport L, Malkhi D, Zhou L. Stoppable Paxos. Technical Report, Microsoft Research, 2008.
[30] Lamport L, Malkhi D, Zhou L. Vertical Paxos and primary-backup replication. In: Proc. of the 28th ACM Symp. on Principles of
Distributed Computing. 2009. 312−313.
[31] Lamport L. Byzantizing Paxos by refinement. In: Proc. of the Int’l Symp. on Distributed Computing. 2011. 211−224.
[32] Moraru I, Andersen DG, Kaminsky M. There is more consensus in egalitarian parliaments. In: Proc. of the 24th ACM Symp. on
Operating Systems Principles. 358−372.
[33] Wang Z, Zhao C, Mu S, Chen H, Li J. On the parallels between Paxos and Raft, and how to port optimizations. In: Proc. of the
2019 ACM Symp. on Principles of Distributed Computing. 2019. 445−454.
[34] Guo Z, Hong C, Yang M, Zhou D, Zhou L, Zhuang L. Paxos made parallel. Technical Report, Microsoft Research Asia, 2012. 118.
[35] Lamport L, Merz S, Doligez D. A TLA + specification of Paxos and its refinement. 2019. https://github.com/tlaplus/Examples/tree/
master/specifications/Paxos
[36] Chaudhuri K, Doligez D, Lamport L, Merz SA. TLA+ proof system. In: Proc. of the LPAR Workshops, CEUR Workshop. 2008.
17−37.

附中文参考文献:
[18] 易星辰,魏恒峰,黄宇,乔磊,吕建.PaxosStore 中共识协议 TPaxos 的推导、规约与精化.软件学报,2020,31(8):2336−2361. http://
www.jos.org.cn/1000-9825/5964.htm [doi: 10.13328/j.cnki.jos.005964]
[19] 纪业,魏恒峰,黄宇,吕建.CRDT 协议的 TLA+描述与验证.软件学报,2020,31(5):1332−1352. http://www.jos.org.cn/1000-9825/31/
5956.htm [doi: 10.13328/j.cnki.jos.005956]

谷晓松(1997－),男,学士,CCF 学生会员, 乔磊(1982－),男,博士,研究员,CCF 专业
主要研究领域为分布式数据一致性,分布 会员,主要研究领域为航天器嵌入式操作
式系统,形式化方法. 系统设计及验证.

魏恒峰(1986－),男,博士,CCF 专业会员, 黄宇 (1982－ ), 男 ,博士 ,教授 , 博 士生导
主要研究领域为分布数据一致性,形式化 师,CCF 专业会员,主要研究领域为分布式
方法. 算法,分布式系统,网络化软件系统.