TY  - RPRT
TI  - Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms
AU  - Yanhong A. Liu
AU  - Saksham Chand
AU  - Scott D. Stoller
PY  - 2019
DO  - 10.1145/3354166.3354180
UR  - https://arxiv.org/abs/1704.00082
ID  - 1704.00082
ER  -