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

Frank A. Stomp, Willem P. de Roever

Browse the full ICDCS paper archive.