DMCA

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

by Martín Abadi , Frank Mcsherry , Derek G. Murray , Thomas L. Rodeheffer
Venue:In Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems
Citations:1 - 1 self