The mutual exclusion problem: partII—statement and solutions
Journal of the ACM (JACM)
A belated proof of self-stabilization
Distributed Computing
On the costs of self-stabilization
Information Processing Letters
A Class of Inherently Fault Tolerant Distributed Programs
IEEE Transactions on Software Engineering
Parallel program design: a foundation
Parallel program design: a foundation
Design & analysis of fault tolerant digital systems
Design & analysis of fault tolerant digital systems
Uniform self-stabilizing rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Token Systems That Self-Stabilize
IEEE Transactions on Computers
Probabilistic self-stabilization
Information Processing Letters
Self-stabilizing extensions for message-passing systems
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Self-stabilization of dynamic systems assuming only read/write atomicity
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Token management schemes and random walks yield self-stabilizing mutual exclusion
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Information Processing Letters
The instability of self-stabilization
Acta Informatica
Understanding fault-tolerant distributed systems
Communications of the ACM
Distributed reset (extended abstract)
FST and TC 10 Proceedings of the tenth conference on Foundations of software technology and theoretical computer science
Memory-efficient self stabilizing protocols for general networks
Proceedings of the 4th international workshop on Distributed algorithms
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Stabilizing Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
A self-stabilizing algorithm for constructing spanning trees
Information Processing Letters
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Self-stabilization by local checking and correction (extended abstract)
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
IEEE Transactions on Software Engineering
Analysis and synthesis of real-time rule-based decision systems
Analysis and synthesis of real-time rule-based decision systems
A foundation of fault-tolerant computing
A foundation of fault-tolerant computing
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Communicating sequential processes
Communications of the ACM
Self-stabilizing systems in spite of distributed control
Communications of the ACM
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computers and Intractability; A Guide to the Theory of NP-Completeness
Computers and Intractability; A Guide to the Theory of NP-Completeness
Two-State Self-Stabilizing Algorithms
IPPS '92 Proceedings of the 6th International Parallel Processing Symposium
Maintaining Digital Clocks In Step
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
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
The Stabilizing Philosopher: Asymmetry by Memory and by Action
The Stabilizing Philosopher: Asymmetry by Memory and by Action
Toward a theory for self-stabilizing protocols
Toward a theory for self-stabilizing protocols
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)
Memory requirements for silent stabilization
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Self-stabilization by window washing
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Uniform and Self-Stabilizing Token Rings Allowing Unfair Daemon
IEEE Transactions on Parallel and Distributed Systems
A Self-Stabilizing Ring Orientation Algorithm With a Smaller Number of Processor States
IEEE Transactions on Parallel and Distributed Systems
A Gracefully Degrading Massively Parallel System Using the BSP Model, and Its Evaluation
IEEE Transactions on Computers
Constructing a Reliable Test&Set Bit
IEEE Transactions on Parallel and Distributed Systems
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
Fault-containing network protocols
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Symbolic Model Checking for Self-Stabilizing Algorithms
IEEE Transactions on Parallel and Distributed Systems
Self-Stabilizing Strong Fairness under Weak Fairness
IEEE Transactions on Parallel and Distributed Systems
Using actors in an interactive animation in a graduate course on distributed system
Proceedings of the 6th annual conference on Innovation and technology in computer science education
IEEE Transactions on Parallel and Distributed Systems
Self-stabilization as multiagent systems property
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Improving Data Access in P2P Systems
IEEE Internet Computing
Two-State Self-Stabilizing Algorithms for Token Rings
IEEE Transactions on Software Engineering
Self-stabilization of wait-free shared memory objects
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Stabilization of general loop-free routing
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
A stabilizing algorithm for finding biconnected components
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
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
Self-stabilizing Neighborhood Unique Naming under Unfair Scheduler
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Bus Architectures for Safety-Critical Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Easy Stabilization with an Agent
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
A New Rewrite Method for Convergence of Self-Stabilizing Systems
Proceedings of the 13th International Symposium on Distributed Computing
The Theory of Weak Stabilization
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
A Model for Mobile Code Using Interacting Automata
IEEE Transactions on Mobile Computing
Self-stabilization with path algebra
Theoretical Computer Science
Self-stabilizing multicast protocols for ad hoc networks
Journal of Parallel and Distributed Computing - Special issue on wireless and mobile ad hoc networking and computing
Self-Stabilizing Smoothing and Counting
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Gracefully Degrading Systems Using the Bulk-Synchronous Parallel Model with Randomised Shared Memory
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Tight Space Self-stabilizing Uniform l-Mutual Exclusion
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
An Exercise in Proving Self-Stabilization through Ljapunov Functions
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
IEEE/ACM Transactions on Networking (TON)
A self-stabilizing algorithm for bridge finding
Distributed Computing
Communications of the ACM
A self-stabilizing algorithm for the maximum flow problem
Distributed Computing
Self-Management: The Solution to Complexity or Just Another Problem?
IEEE Distributed Systems Online
Design and analysis of dynamic leader election protocols in broadcast networks
Distributed Computing
A Quorum-Based Protocol for Searching Objects in Peer-to-Peer Networks
IEEE Transactions on Parallel and Distributed Systems
Theory and Practice of Logic Programming
The TTA's Approach to Resilience after Transient Upsets
Real-Time Systems
Self-Stabilizing Distributed Queuing
IEEE Transactions on Parallel and Distributed Systems
Coupling and self-stabilization
Distributed Computing - Special issue: DISC 04
A note on K-state self-stabilization in a ring with K = N
Nordic Journal of Computing
Self-stabilizing dynamic mutual exclusion for mobile ad hoc networks
Journal of Parallel and Distributed Computing
Hello again: Stabilization of the Hello protocol in OSPF
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Self-stabilizing algorithm for checkpointing in a distributed system
Journal of Parallel and Distributed Computing
Exploring the interdisciplinary connections of gossip-based systems
ACM SIGOPS Operating Systems Review - Gossip-based computer networking
SPICE: Scalable P2P implicit group messaging
Computer Communications
Debugging debugged, a metaphysical manifesto of systems integration
ACM SIGSOFT Software Engineering Notes
Theoretical Computer Science
OCD: obsessive consensus disorder (or repetitive consensus)
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
A self-stabilizing algorithm for the st-order problem
International Journal of Parallel, Emergent and Distributed Systems
Fault tolerance in wireless sensor networks through self-stabilisation
International Journal of Communication Networks and Distributed Systems
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
A geometric approach to deploying robot swarms
Annals of Mathematics and Artificial Intelligence
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
An Algorithm Evaluating System Stability to Process
ICA3PP '09 Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing
A concise introduction to autonomic computing
Advanced Engineering Informatics
Local Algorithms: Self-stabilization on Speed
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Stability of Distributed Algorithms in the Face of Incessant Faults
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Journal of Parallel and Distributed Computing
Timer-based composition of fault-containing self-stabilizing protocols
Information Sciences: an International Journal
Using eventually consistent compasses to gather oblivious mobile robots with limited visibility
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Lyapunov analysis of neural network stability in an adaptive flight control system
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
A stabilizing solution to the stable path problem
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing distributed algorithms for graph alliances
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Adaptive containment of time-bounded byzantine faults
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
A self-stabilising algorithm for 3-edge-connectivity
International Journal of High Performance Computing and Networking
On stabilization in Herman's algorithm
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
The south zone: distributed algorithms for alliances
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Gathering asynchronous mobile robots with inaccurate compasses
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Self-stabilizing leader election in networks of finite-state anonymous agents
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Self-stabilizing publish/subscribe protocol for p2p networks
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Self-stabilizing checkpointing algorithm in ring topology
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Towards automatic convergence verification of self-stabilizing algorithms
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
About the self-stabilization of a virtual topology for self-organization in ad hoc networks
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
A local self-stabilizing enumeration algorithm
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Randomized self-stabilizing algorithms for wireless sensor networks
IWSOS'06/EuroNGI'06 Proceedings of the First international conference, and Proceedings of the Third international conference on New Trends in Network Architectures and Services conference on Self-Organising Systems
Self-stabilizing deadlock detection under the OR requirement model
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Proving positive almost-sure termination
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Self-stabilizing weight-based clustering algorithm for ad hoc sensor networks
ALGOSENSORS'06 Proceedings of the Second international conference on Algorithmic Aspects of Wireless Sensor Networks
Relaxing property preservation in the refinement of concurrent systems
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Communications of the ACM
Hi-index | 0.04 |
In 1973 Dijkstra introduced to computer science the notion of self-stabilization in the context of distributed systems. He defined a system as self-stabilizing when “regardless of its initial state, it is guaranteed to arrive at a legitimate state in a finite number of steps.” A system which is not self-stabilizing may stay in an illegitimate state forever. Dijkstra's notion of self-stabilization, which originally had a very narrow scope of application, is proving to encompass a formal and unified approach to fault tolerance under a model of transient failures for distributed systems. In this paper we define self-stabilization, examine its significance in the context of fault tolerance, define the important research themes that have arisen from it, and discuss the relevant results. In addition to the issues arising from Dijkstra's original presentation as well as several related issues, we discuss methodologies for designing self-stabilizing systems, the role of compilers with respect to self-stabilization, and some of the factors that prevent self-stabilization.