Stabilization, Safety, and Security of Distributed Systems: ...
Preview
15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita. Practically. Stabilizing. and. Secure. Replicated. State. Machines. (Tutorial. Abstract). Shlomi Dolev Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva, Israel dolev ...