A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract)

Frank A. Stomp, Willem P. de Roever. A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract). In ICDCS. pages 440-447, 1987.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.