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
113 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. 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
2. This is the moment for probabilistic loops;Proceedings of the ACM on Programming Languages;2022-10-31
3. Origin of Self-Stabilization;Edsger Wybe Dijkstra;2022-07-12
4. Probabilistic Hyperproperties with Rewards;Lecture Notes in Computer Science;2022
5. Parameter Synthesis in Markov Models: A Gentle Survey;Lecture Notes in Computer Science;2022