Yoram Moses, Benny Shimony. A New Proof of the GHS Minimum Spanning Tree Algorithm. In Shlomi Dolev, editor, Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings. Volume 4167 of Lecture Notes in Computer Science, pages 120-135, Springer, 2006. [doi]
Abstract is missing.