Self-Stabilizing Operating Systems Shlomi Dolev and Reuven Yagel Computer Science Department Ben-Gurion University of the Negev, Beer-Sheva, Israel SOSPâ05 \ SIGOPS Doctoral…