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
Uniform self-stabilizing rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Token Systems That Self-Stabilize
IEEE Transactions on Computers
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Discrete and Combinatorial Mathematics: An Applied Introduction
Discrete and Combinatorial Mathematics: An Applied Introduction
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
Probabilistic self-stabilizing mutual exclusion in uniform rings
PODC '94 Proceedings of the thirteenth 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
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
Phase Synchronization on Asynchronous Uniform Rings with Odd Size
IEEE Transactions on Parallel and Distributed Systems
A stabilizing algorithm for finding biconnected components
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
A self-stabilizing algorithm for bridge finding
Distributed Computing
A self-stabilizing algorithm for the maximum flow problem
Distributed Computing
Self-Stabilizing Anonymous Leader Election in a Tree
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 8 - Volume 09
Towards scalable model checking of self-stabilizing programs
Journal of Parallel and Distributed Computing
| Hi-index | 0.00 |