TY  - RPRT
TI  - Specifying Paxos for System Builders: Pseudocode Made Executable
AU  - Yanhong A. Liu
AU  - Rahul Sihag
PY  - 2026
UR  - https://arxiv.org/abs/2609.12239
ID  - 2609.12239
ER  -