Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings - Izumi, Taisuke; Izumi, Taisuke; Kuznetsov, Petr; Kuznetsov, Petr (Springer International Publishing : Imprint: Springer, 2018)