The mutual exclusion problem: partII—statement and solutions
Journal of the ACM (JACM)
Delivery and discrimination: the Seine protocol
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
A Class of Inherently Fault Tolerant Distributed Programs
IEEE Transactions on Software Engineering
Uniform self-stabilizing rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Token Systems That Self-Stabilize
IEEE Transactions on Computers
The instability of self-stabilization
Acta Informatica
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Selected writings on computing: a personal perspective
Selected writings on computing: a personal perspective
1983 Invited address solved problems, unsolved problems and non-problems in concurrency
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Stabilization and Pseudo-Stabilization
Stabilization and Pseudo-Stabilization
Convergence/Response Tradeoffs in Concurrent Systems
Convergence/Response Tradeoffs in Concurrent Systems
Toward a theory for self-stabilizing protocols
Toward a theory for self-stabilizing protocols
ACM Computing Surveys (CSUR)
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Self-stabilization by counter flushing
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
A unified approach to fault-tolerance in communication protocols based on recovery procedures
IEEE/ACM Transactions on Networking (TON)
Self-stabilizing sliding window ARQ protocols
IEEE/ACM Transactions on Networking (TON)
Symbolic Model Checking for Self-Stabilizing Algorithms
IEEE Transactions on Parallel and Distributed Systems
Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A quorum-based self-stabilizing distributed mutual exclusion algorithm
Journal of Parallel and Distributed Computing
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
Stabilization-preserving atomicity refinement
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Finite-state self-stabilizing protocols in message-passing systems
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Stabilization-Preserving Atomicity Refinement
Proceedings of the 13th International Symposium on Distributed Computing
Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Self Stabilizing Distributed Queuing
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Stabilizing Inter-domain Routing in the Internet (Research Note)
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
On a Space-Optimal Distributed Traversal Algorithm
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Self-Stabilizing Minimum Spanning Tree Construction on Message-Passing Networks
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Unifying Stabilization and Termination in Message-Passing Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Self-Stabilizing Real-Time OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
Self-stabilizing token circulation in uniform networks
Distributed Computing
Self-stabilizing depth-first token circulation in arbitrary rooted networks
Distributed Computing
Self-stabilization over unreliable communication media
Distributed Computing - Special issue: Self-stabilization
Stabilization and pseudo-stabilization
Distributed Computing - Special issue: Self-stabilization
Self-stabilizing depth-first token circulation on networks
Distributed Computing - Special issue: Self-stabilization
Unifying stabilization and termination in message-passing systems
Distributed Computing
Self-Stabilizing Distributed Queuing
IEEE Transactions on Parallel and Distributed Systems
Stabilizing inter-domain routing in the Internet
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Formal design of self-stabilizing programs
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Stabilizing causal deterministic merge
Journal of High Speed Networks - Self-Stabilizing Systems, Part 2
Snap-stabilization in message-passing systems
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
State space abstraction for parameterized self-stabilizing embedded systems
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Self-stabilizing philosophers with generic conflicts
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Snap-Stabilization in Message-Passing Systems
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Transformations for write-all-with-collision model
Computer Communications
Developing topology discovery in Event-B
Science of Computer Programming
The wandering token: Congestion avoidance of a shared resource
Future Generation Computer Systems
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Dependability Engineering of Silent Self-stabilizing Systems
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Unconscious eventual consistency with gossips
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Snap-stabilization in message-passing systems
Journal of Parallel and Distributed Computing
Stabilizing data-link over non-FIFO channels with optimal fault-resilience
Information Processing Letters
Self-stabilizing leader election in optimal space under an arbitrary scheduler
Theoretical Computer Science
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Stabilizing certificate dispersal
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
On the possibility and the impossibility of message-driven self-stabilizing failure detection
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Topological adaptability for the distributed token circulation paradigm in faulty environment
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Tiara: A self-stabilizing deterministic skip list and skip graph
Theoretical Computer Science
Self-stabilizing energy-aware routing algorithm in wireless sensor network with limited mobility
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Self-stabilizing deterministic TDMA for sensor networks
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Recovery approach to the design of stabilizing communication protocols
Computer Communications
Research: Modified distributed snapshots algorithm for protocol stabilization
Computer Communications
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Universal adaptive self-stabilizing traversal scheme: Random walk and reloading wave
Journal of Parallel and Distributed Computing
Towards scalable model checking of self-stabilizing programs
Journal of Parallel and Distributed Computing
International Journal of Grid and Utility Computing
Hi-index | 0.01 |
A communication protocol is stabilizing if and only if starting from any unsafe state (i.e. one that violates the intended invariant of the protocol), the protocol is guaranteed to converge to a safe state within a finite number of state transitions. Stabilization allows the processes in a protocol to reestablish coordination between one another whenever coordination is lost due to some failure. The authors identify some important characteristics of stabilizing protocols; they show in particular that a stabilizing protocol is nonterminating, has an infinite number of safe states, and has timeout actions. They also propose a formal method for proving protocol stabilization: in order to prove that a given protocol is stabilizing, it is sufficient (and necessary) to exhibit and verify what is called a 'convergence stair' for the protocol. Finally, they discuss how to redesign a number of well-known protocols to make them stabilizing; these include the sliding-window protocol and the two-way handshake.