TY - BOOK AU - Higashino,Teruo AU - Katayama,Yoshiaki AU - Masuzawa,Toshimitsu AU - Potop-Butucaru,Maria AU - Yamashita,Masafumi TI - Stabilization, Safety, and Security of Distributed Systems: 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings SN - 9783319030890 PY - 2013/// CY - Cham PB - Springer International Publishing KW - Computer science KW - Computer communication systems KW - Software engineering KW - Computer security KW - Algorithms KW - Computer logic N1 - Self-stabilization -- Fault tolerance and dependability -- Formal methods and distributed systems -- Ad-hoc, sensors, mobile agents and robot networks -- P2P, social, self-organizing, autonomic and opportunistic networks UR - http://dx.doi.org/10.1007/978-3-319-03089-0 ER -