Monotonic stabilization

Yukiko Yamauchi, Sébastien Tixeuil

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)


Self-stabilization guarantees convergence to a legitimate configuration in every execution starting from any initial configuration. However, during convergence, most self-stabilizing protocols make unnecessary output changes that do not directly contribute to the progress of convergence. We define and study monotonic stabilization, where every output change is a step toward convergence. That is, any output change at a process p gives the final output of p in the legitimate configuration to be reached. It turns out that monotonic stabilization requires additional information exchange between processes, and we present task dependent tradeoff results with respect to the locality of exchanged information.

Original languageEnglish
Title of host publicationPrinciples of Distributed Systems - 14th International Conference, OPODIS 2010, Proceedings
Number of pages16
Publication statusPublished - 2010
Externally publishedYes
Event14th International Conference on Principles of Distributed Systems, OPODIS 2010 - Tozeur, Tunisia
Duration: Dec 14 2010Dec 17 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6490 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other14th International Conference on Principles of Distributed Systems, OPODIS 2010

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Monotonic stabilization'. Together they form a unique fingerprint.

Cite this