TY - BOOK AU - Izumi,Taisuke AU - Kuznetsov,Petr ED - SpringerLink (Online service) TI - Stabilization, Safety, and Security of Distributed Systems: 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings T2 - Theoretical Computer Science and General Issues SN - 9783030032326 AV - TK5105.5-5105.9 U1 - 004.6 23 PY - 2018/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Computer communication systems KW - Special purpose computers KW - Architecture, Computer KW - Operating systems (Computers) KW - Logic design KW - Artificial intelligence KW - Computer Communication Networks KW - Special Purpose and Application-Based Systems KW - Computer System Implementation KW - Operating Systems KW - Logic Design KW - Artificial Intelligence N1 - Acceso multiusuario N2 - This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018. The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical and practical aspects of stabilizing systems; distributed networks and concurrency; and safety in malicious environments. UR - http://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-030-03232-6 ER -