Formal analysis of a distributed algorithm for tracking progress (2013)

by M Abadi, F McSherry, D G Murray, T L Rodeheffer
Venue:In Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems