Uniform self-stabilizing rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Token Systems That Self-Stabilize
IEEE Transactions on Computers
STOC '90 Proceedings of the twenty-second 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 token circulation on asynchronous uniform unidirectional rings
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Symbolic Model Checking for Self-Stabilizing Algorithms
IEEE Transactions on Parallel and Distributed Systems
Fault Tolerant Distributed Coloring Algorithms that Stabilize in Linear Time
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments
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 Mutual Exclusion in the Presence of Faulty Nodes
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
An Efficient Fault-Containing Self-Stabilizing Algorithm for Finding a Maximal Independent Set
IEEE Transactions on Parallel and Distributed Systems
Self-stabilizing token circulation in uniform networks
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
Self-stabilization of dynamic systems assuming only read/write atomicity
Distributed Computing - Special issue: Self-stabilization
A self-stabilizing algorithm for coloring planar graphs
Distributed Computing - Special issue: Self-stabilization
Self-stabilizing depth-first token circulation on networks
Distributed Computing - Special issue: Self-stabilization
A self-stabilizing algorithm for the shortest path problem assuming read/write atomicity
Journal of Computer and System Sciences
How to Improve Safety under Convergence Using Stable Storage
IEEE Transactions on Parallel and Distributed Systems
A note on K-state self-stabilization in a ring with K = N
Nordic Journal of Computing
Computers & Mathematics with Applications
On the Performance of Beauquier and Debas' Self-stabilizing Algorithm for Mutual Exclusion
SIROCCO '08 Proceedings of the 15th international colloquium on Structural Information and Communication Complexity
Fast Distributed Approximations in Planar Graphs
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
Quasi-self-stabilization of a distributed system assuming read/write atomicity
Computers & Mathematics with Applications
A self-stabilizing algorithm for the shortest path problem assuming the distributed demon
Computers & Mathematics with Applications
A self-stabilizing algorithm for the center-finding problem assuming read/write separate atomicity
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
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
Systematic correct construction of self-stabilizing systems: a case study
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
ICDCN'06 Proceedings of the 8th international conference on Distributed Computing and Networking
Brief announcement: self-stabilizing resource discovery algorithm
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Hi-index | 0.00 |