A lattice-structured proof technique applied to a minimum spanning tree algorithm (1988)

by Jennifer Lundelius Welch, Leslie Lamport, Nancy Lynch
Venue:In Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing