F. A. Stomp
-
From sequential layers to distributed processes: deriving a distributed minimum weight spanning tree algorithm
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing