Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm

Karine Altisen, Marius Bozga

We provide a constructive proof for the convergence of Dolev et al's BFS spanning tree algorithm running under the general assumption of an unfair daemon. Already known proofs of t…