Stabilizing Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
ACM Computing Surveys (CSUR)
Finite-state self-stabilizing protocols in message-passing systems
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Stabilization and pseudo-stabilization
Distributed Computing - Special issue: Self-stabilization
Decidability analysis of self-stabilization for infinite-state systems
Fundamenta Informaticae
Self-stabilization preserving compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Decidability Analysis of Self-Stabilization for Infinite-State Systems
Fundamenta Informaticae
Hi-index | 0.00 |