Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm.

Karine Altisen, Marius Bozga

Browse the full FORTE paper archive.