The mutual exclusion problem: partII—statement and solutions
Journal of the ACM (JACM)
A belated proof of self-stabilization
Distributed Computing
Communicating sequential processes
Communications of the ACM
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
Uniform self-stabilizing rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-stabilizing extensions for message-passing systems
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
Stabilizing Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
IEEE Transactions on Software Engineering
Self-stabilizing symmetry breaking in constant-space (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
ACM Computing Surveys (CSUR)
An alternative solution to a problem on self-stabilization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Leader election in uniform rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-stabilizing unidirectional network algorithms by power-supply
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
Self-stabilizing token circulation on asynchronous uniform unidirectional rings
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Self-Stabilizing Strong Fairness under Weak Fairness
IEEE Transactions on Parallel and Distributed Systems
A quorum-based self-stabilizing distributed mutual exclusion algorithm
Journal of Parallel and Distributed Computing
IEEE Transactions on Computers
Two-State Self-Stabilizing Algorithms for Token Rings
IEEE Transactions on Software Engineering
Stabilization-preserving atomicity refinement
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
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Stabilization-Preserving Atomicity Refinement
Proceedings of the 13th International Symposium on Distributed Computing
Fast Self-Stabilizing Depth-First Token Circulation
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
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-stabilizing multi-token rings
Distributed Computing
Self-stabilizing extensions for message-passing systems
Distributed Computing - Special issue: Self-stabilization
Self-stabilization over unreliable communication media
Distributed Computing - Special issue: Self-stabilization
Stabilization and pseudo-stabilization
Distributed Computing - Special issue: Self-stabilization
Convergence of iteration systems
Distributed Computing - Special issue: Self-stabilization
Self-stabilizing depth-first token circulation on networks
Distributed Computing - Special issue: Self-stabilization
An optimal self-stabilizing strarvation-free alternator
Journal of Computer and System Sciences
Optimal snap-stabilizing PIF algorithms in un-oriented trees
Journal of High Speed Networks - Self-Stabilizing Systems, Part 2
Computers & Mathematics with Applications
Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model
Discrete Applied Mathematics
An adaptive stabilizing algorithm for finding all disjoint paths in anonymous mesh networks
Computer Communications
A self-stabilizing algorithm for the shortest path problem assuming the distributed demon
Computers & Mathematics with Applications
Self-stabilizing token circulation on uniform trees by using edge-tokens
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
A framework of safe stabilization
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
An application of snap-stabilization: matching in bipartite graphs
ACMOS'07 Proceedings of the 9th WSEAS international conference on Automatic control, modelling and simulation
| Hi-index | 14.98 |
Presents a novel class of mutual exclusion systems, in which processes circulate one token, and each process enters its critical section when it receives the token. Each system in the class is self-stabilizing; i.e. it it starts at any state, possibly one where many tokens exist in the system, it is guaranteed to converge to a good state where exactly one token exists in the system. The systems are better than previous systems in that their state transitions are noninterfering; i.e., if any state transition is enabled at any instant, then it will continue to be enabled until it is executed. This makes the systems easier to implement as delay-insensitive circuits.