Author:
Dolev Shlomi,Haviv Yinnon,Sagiv Mooly
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Borger, E., Gurevich, Y., Rosenzweig, D.: The bakery algorithm: Yet another specification and verification. In: Borger, E. (ed.) Specification and Validation Methods, pp. 231–243. Oxford University Press, Oxford (1995)
2. Borger, E., Stark, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
3. Brukman, O., Dolev, S., Kolodner, E.: Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. In: IEEE International Conference on Software-Science, Technology & Engineering (SwSTE 2003), Herzelia, pp. 20???29 (2003);
4. Also in the Workshop on Adaptive Distributed Systems (WADiS 2003), Sorrento, Italy (2003)
5. Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM 17(11), 643–644 (1974)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Self-stabilizing device drivers;ACM Transactions on Autonomous and Adaptive Systems;2008-11
2. Stabilization Enabling Technology;Lecture Notes in Computer Science;2006
3. Self-stabilization Preserving Compiler;Lecture Notes in Computer Science;2005