Yanhong A. Liu, Saksham Chand, Scott D. Stoller. Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. In Ekaterina Komendantskaya, editor, Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. ACM, 2019. [doi]
Abstract is missing.