A belated proof of self-stabilization
Distributed Computing
On the costs of self-stabilization
Information Processing Letters
An exercise in proving self-stabilization with a variant function
Information Processing Letters
Token Systems That Self-Stabilize
IEEE Transactions on Computers
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Proving Self-Stabilization with a Proof Assistant
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Unavoidable Configurations of Parameterized Rings of Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Fast Self-Stabilizing Depth-First Token Circulation
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
Self-stabilizing depth-first token circulation in arbitrary rooted networks
Distributed Computing
Optimal snap-stabilizing PIF algorithms in un-oriented trees
Journal of High Speed Networks - Self-Stabilizing Systems, Part 2
| Hi-index | 0.00 |
Dijkstra [4, 5] introduced the problem of self-stabilization in distributed systems as an interesting exercise for achieving global convergence through local actions. In [4] he presented three solutions to a specific version of the self-stabilization problem, one of which was proved in [6]. This paper presents an alternative solution of his self-stabilization problem with four-state machines.