A correctness proof of a distributed minimum-weight spanning tree algorithm

W.P. Roever, de, F.A. Stomp

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 7th International Conference on Distributed Computing Systems (Berlin, Germany, September 23-25, 1987)
PublisherIEEE Computer Society
Pages440-448
Publication statusPublished - 1987

Cite this

Roever, de, W. P., & Stomp, F. A. (1987). A correctness proof of a distributed minimum-weight spanning tree algorithm. In Proceedings 7th International Conference on Distributed Computing Systems (Berlin, Germany, September 23-25, 1987) (pp. 440-448). IEEE Computer Society.