A correctness proof of a distributed minimum-weight spanning tree algorithm / F.A. Stomp, W.P. de Roever
A correctness proof of a distributed minimum-weight spanning tree algorithm