DMCA
Snap-stabilizing depth-first search on arbitrary networks (2006)
Cached
Download Links
- [www-verimag.imag.fr]
- [www-verimag.imag.fr]
- [www.lri.fr]
- [comjnl.oxfordjournals.org]
- [www-verimag.imag.fr]
- [www-verimag.imag.fr]
- DBLP
Other Repositories/Bibliography
| Venue: | Comput. J |
| Citations: | 11 - 6 self |
BibTeX
@ARTICLE{Cournier06snap-stabilizingdepth-first,
author = {Alain Cournier and Stéphane Devismes and Franck Petit and Vincent Villain and Université Picardie and Jules Verne},
title = {Snap-stabilizing depth-first search on arbitrary networks},
journal = {Comput. J},
year = {2006},
pages = {268--280}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In this paper, we present a snap-stabilizing depth-first search wave protocol for arbitrary rooted networks. In this protocol, a wave of computation is initiated by the root. In this wave, all the processors are sequentially visited in depth-first search order. After the end of the visit, the root eventually detects the termination of the process. Furthermore, our protocol is proven assuming an unfair daemon, i.e., assuming the weakest scheduling assumption.
