Formal Analysis of a Distributed Algorithm for Tracking Progress

Frank McSherry
Derek Gordon Murray
Thomas L. Rodeheffer
FMOODS/FORTE (2013), pp. 5-19

Abstract