LEADER 05776nam 22007815 450 001 9910357844803321 005 20230329185900.0 010 $a3-030-34992-6 024 7 $a10.1007/978-3-030-34992-9 035 $a(CKB)4100000009845195 035 $a(DE-He213)978-3-030-34992-9 035 $a(MiAaPQ)EBC5979170 035 $a(PPN)248601792 035 $a(EXLCZ)994100000009845195 100 $a20191114d2019 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aStabilization, Safety, and Security of Distributed Systems $e21st International Symposium, SSS 2019, Pisa, Italy, October 22?25, 2019, Proceedings /$fedited by Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XXIII, 384 p. 304 illus., 54 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11914 311 $a3-030-34991-8 320 $aIncludes bibliographical references and index. 327 $aInvited Paper: On the Characterization of Blockchain Consensus under Incentives -- Brief announcement: Forgive & Forget: Self-Stabilizing Swarms in Spite of Byzantine Robots -- Stationary and Deterministic Leader Election in Self-Organizing Particle Systems -- Robust Privacy-Preserving Gossip Averaging -- Synchronous t-Resilient Consensus in Arbitrary Graphs -- Tasks in Modular Proofs of Concurrent Algorithms -- On Gathering of Semi-Synchronous Robots in Graphs -- Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction -- Brief Announcement: Distributed Computing in the Asynchronous LOCAL model -- An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms -- Brief Announcement: Self-Stabilizing LCM Schedulers for Autonomous Mobile Robots using Neighborhood Mutual Remainder -- Reducing the Number of Messages in Self-stabilizing Protocols -- A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory -- Exploration of dynamic ring networks by a single agent with the H-hops and S-time steps view -- iperfTZ: Understanding Network Bottlenecks for TrustZone-based Trusted Applications -- Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity -- Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems -- Improved-Zigzag: An improved local-information based self-optimizing routing algorithm in virtual grid networks -- Fault Tolerant Network Constructors -- Ring Exploration of Myopic Luminous Robots with Visibility More than One -- Brief Announcement: Self-Stabilizing Construction of a Minimal Weakly nmathcal{ST}-Reachable Directed Acyclic Graph -- Adaptive Versioning in Transactional Memories -- Brief Announcement: Blockguard: Adaptive Blockchain Security -- Brief Announcement: Fully Anonymous Shared Memory Algorithms -- A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus -- Logarithmic Expected-Time Leader Election in Population Protocol Model -- A Self-stabilizing 1-maximal Independent Set Algorithm -- Black hole search despite Byzantine agents -- Self-Adjusting Linear Networks. 330 $aThis book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019. The 21 full papers presented were carefully reviewed and selected from 45 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11914 606 $aComputer networks 606 $aComputer systems 606 $aComputers, Special purpose 606 $aOperating systems (Computers) 606 $aApplication software 606 $aComputer science?Mathematics 606 $aComputer Communication Networks 606 $aComputer System Implementation 606 $aSpecial Purpose and Application-Based Systems 606 $aOperating Systems 606 $aComputer and Information Systems Applications 606 $aMathematics of Computing 615 0$aComputer networks. 615 0$aComputer systems. 615 0$aComputers, Special purpose. 615 0$aOperating systems (Computers). 615 0$aApplication software. 615 0$aComputer science?Mathematics. 615 14$aComputer Communication Networks. 615 24$aComputer System Implementation. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aOperating Systems. 615 24$aComputer and Information Systems Applications. 615 24$aMathematics of Computing. 676 $a004.2 676 $a004.36 702 $aGhaffari$b Mohsen$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNesterenko$b Mikhail$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTixeuil$b Sébastien$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTucci$b Sara$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYamauchi$b Yukiko$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910357844803321 996 $aStabilization, Safety, and Security of Distributed Systems$9772094 997 $aUNINA