Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables

Saksham Chand, Yanhong A. Liu

This paper studies specifications and proofs of distributed algorithms when only message history variables are used, using the Basic Paxos and Multi-Paxos algorithms for distribute…