@misc{indiciae1f55b2eb7f4f,
  title = {Specifying Paxos for System Builders: Pseudocode Made Executable},
  author = {Yanhong A. Liu and Rahul Sihag},
  year = {2026},
  url = {https://arxiv.org/abs/2609.12239},
  note = {Source identifier: 2609.12239}
}