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

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

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

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

Mathematics and Computer Science

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings 7th International Conference on Distributed Computing Systems (Berlin, Germany, September 23-25, 1987)
Uitgeverij	IEEE Computer Society
Pagina's	440-448
Status	Gepubliceerd - 1987

Citeer dit

@inproceedings{f920e09d2ee84f20ab2f64167f00f317,

title = "A correctness proof of a distributed minimum-weight spanning tree algorithm",

author = "{Roever, de}, W.P. and F.A. Stomp",

year = "1987",

language = "English",

pages = "440--448",

booktitle = "Proceedings 7th International Conference on Distributed Computing Systems (Berlin, Germany, September 23-25, 1987)",

publisher = "IEEE Computer Society",

address = "United States",

}

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

Proceedings 7th International Conference on Distributed Computing Systems (Berlin, Germany, September 23-25, 1987). IEEE Computer Society, 1987. blz. 440-448.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review