Formal Analysis of a Distributed Algorithm for Tracking Progress

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

Abstract

Research Areas