Stabilization, Safety, and Security of Distributed Systems: ...
Preview
Shlomi Dolev, Yinnon Haviv, and Mooly Sagiv, “Self-stabilization preserving compiler”, Proc. of the 7th International Symposium on Self-Stabilizing Systems, Lecture Notes in Computer Science 3764, Springer, pp. 81–95, 2005. Also in Technical Report #2005-06, Department of Computer Science, Ben-Gurion University of the Negev, Israel, 2005. 6. Shlomi Dolev and Reuven Yagel, “ Memory management for self-stabilizing operating systems”. Proc. of the 7th International Symposium ...