Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms.

Yanhong A. Liu, Saksham Chand, Scott D. Stoller

Browse the full PPDP paper archive.