ada9f618fa229287.tex
1: \begin{abstract}
2:   In this paper, we revisit two fundamental results of the
3:   self-stabilizing literature about silent BFS spanning tree
4:   constructions: the Dolev {\em et al} algorithm and the Huang and
5:   Chen's algorithm. More precisely, we propose in the composite
6:   atomicity model three straightforward adaptations inspired from
7:   those algorithms. We then present a deep study of these three
8:   algorithms.  Our results are related to both correctness
9:   (convergence and closure, assuming a distributed unfair daemon) and
10:   complexity (analysis of the stabilization time in terms of rounds
11:   and steps).
12: \end{abstract}
13: