A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we propose a light semi-automatic method allowing to snap-stabilize self-stabilizing wave protocols for arbitrary networks with a unique initiator. To that goal, we consider such a self-stabilizing protocol A. We then slightly update A to obtain a protocol B that can be automatically transformed, using a black box protocol, into a snap-stabilizing protocol, B is easy to obtain from A compared to the design of a snap-stabilizing protocol. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Cournier, A., Devismes, S., & Villain, V. (2006). From self- to snap- stabilization. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4280 LNCS, pp. 199–213). Springer Verlag. https://doi.org/10.1007/978-3-540-49823-0_14
Mendeley helps you to discover research relevant for your work.