Formal Analysis of a Distributed Algorithm for Tracking Progress.

Martn Abadi, Frank McSherry, Derek Gordon Murray, Thomas L. Rodeheffer

Browse the full FORTE paper archive.