Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables

27 February 2018

Papers citing "Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables"

4 / 4 papers shown

Title
Paxos Made EPR: Decidable Reasoning about Distributed Protocols Oded Padon Giuliano Losa Shmuel Sagiv Sharon Shoham 34 112 0 19 Oct 2017
Formal Verification of Multi-Paxos for Distributed Consensus Saksham Chand Yanhong A. Liu Scott D. Stoller 27 54 0 04 Jun 2016
Demand-Driven Incremental Object Queries Yanhong A. Liu Jon Brandvein Scott D. Stoller Bo Lin 32 19 0 14 Nov 2015
From Clarity to Efficiency for Distributed Algorithms Yanhong A. Liu Scott D. Stoller Bo Lin 23 52 0 29 Dec 2014