1 code implementation • 31 Mar 2017 • Yanhong A. Liu, Saksham Chand, Scott D. Stoller
We show that English and pseudocode descriptions of algorithms can be captured precisely at a high level, yielding clearer and simpler specifications than ever before.
Distributed, Parallel, and Cluster Computing Programming Languages
1 code implementation • 4 Jun 2016 • Saksham Chand, Yanhong A. Liu, Scott D. Stoller
This paper describes formal specification and verification of Lamport's Multi-Paxos algorithm for distributed consensus.
Distributed, Parallel, and Cluster Computing