Stabilization, Safety, and Security of Distributed Systems  15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /  [electronic resource] : 
edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita. 
 - Cham :  Springer International Publishing,  2013. 
 - 1 online resource (XXIV, 380 p. 86 ill.) 
 - Lecture Notes in Computer Science,  8255  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783319030890 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Computer security.<br/>Algorithms.<br/>Computer logic.