Author:
Dolev Shlomi,Kahil Ramzi Martin,Yagel Reuven
Publisher
Springer International Publishing
Reference21 articles.
1. Beck, K.: Test-Driven Development by Example. Addison Wesley-Vaseem (2003)
2. Brooks, F.: No silver bullet. University of North Carolina at Chapel Hill (1987)
3. Burkman, O., Dolev, S.: Recovery oriented programming: runtime monitoring of safety and liveness. International Journal on Software Tools for Technology Transfer, STTT 13(4), 377–395 (2011)
4. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM 18, 453–457 (1975)
5. Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Communications of the ACM 17, 643–644 (1974)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Amnesiac Flooding: Synchronous Stateless Information Dissemination;SOFSEM 2021: Theory and Practice of Computer Science;2021
2. Stateless Information Dissemination Algorithms;Structural Information and Communication Complexity;2020
3. Stateless Computation;Proceedings of the ACM Symposium on Principles of Distributed Computing;2017-07-25