Self-stabilization by local checking and correction (extended abstract)
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
ACM Computing Surveys (CSUR)
Fault-containing self-stabilizing algorithms
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Information Processing Letters
The local detection paradigm and its applications to self-stabilization
Theoretical Computer Science
Graph relabelling systems and distributed algorithms
Handbook of graph grammars and computing by graph transformation
Self-stabilization
Self-stabilizing systems in spite of distributed control
Communications of the ACM
A self-stabilizing enumeration algorithm
Information Processing Letters
ISTCS '97 Proceedings of the Fifth Israel Symposium on the Theory of Computing Systems (ISTCS '97)
Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Unifying Stabilization and Termination in Message-Passing Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
An Automatic Approach to Self-Stabilization
SNPD-SAWN '05 Proceedings of the Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing and First ACIS International Workshop on Self-Assembling Wireless Networks
Visualization of Self-Stabilizing Distributed Algorithms
IV '05 Proceedings of the Ninth International Conference on Information Visualisation
Hi-index | 0.00 |
We present a novel self-stabilizing version of Mazurkiewicz enumeration algorithm [1]. The initial version is based on local rules to enumerate nodes on an anonymous network. [2] presented the first self-stabilizing version of this algorithm which tolerates transient failures with an extension of messages complexity. Our version is based on local detection and correction of transient failures. Therefore, it ensures the fault-tolerance property without adding messages or reduces the messages’ number of other version. In addition, we have developed an interface based on the Visidia platform to simulate faults through a graphical user interface. The implementation of the presented algorithm in this platform shows its dynamic execution and validates its correction.