Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference6 articles.
1. Local and global properties in networks of processes;Angluin;Proc. 12th Ann. ACM Symp. on Theory of Computing,1980
2. Uniform self-Stabilizing rings;Burns;ACM Trans. on Programming Languages and Systems,1989
3. Self-stabilizing systems in spite of distributed control;Dijkstra;Comm. ACM,1974
4. Token systems that self-stabilize;Brown;IEEE Trans. on Computers,1989
Cited by
114 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parameter synthesis for Markov models: covering the parameter space;Formal Methods in System Design;2024-02-17
2. Analyzing Program Transitions to Compute Benefit of Tolerating Consistency Violation Faults;Proceedings of the 24th International Conference on Distributed Computing and Networking;2023-01-04
3. This is the moment for probabilistic loops;Proceedings of the ACM on Programming Languages;2022-10-31
4. Origin of Self-Stabilization;Edsger Wybe Dijkstra;2022-07-12
5. Probabilistic Hyperproperties with Rewards;Lecture Notes in Computer Science;2022