@misc{indiciaea714a42c1935,
  title = {Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms},
  author = {Yanhong A. Liu and Saksham Chand and Scott D. Stoller},
  year = {2019},
  doi = {10.1145/3354166.3354180},
  url = {https://arxiv.org/abs/1704.00082},
  note = {Source identifier: 1704.00082}
}