Skip to main content
SpringerLink
Log in
Book cover

Stabilization, Safety, and Security of Distributed Systems

20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Taisuke Izumi

    1. Nagoya Institute of Technology, Nagoya, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Petr Kuznetsov

    1. Telecom ParisTech, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11201)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SSS 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. A Self-stabilizing Hashed Patricia Trie

    • Till Knollmann, Christian Scheideler
    Pages 1-15

  3. Self-stabilizing Overlays for High-Dimensional Monotonic Searchability

    • Michael Feldmann, Christina Kolb, Christian Scheideler
    Pages 16-31

  4. An Adaptive Logging Framework for Persistent Memories

    • Pavan Poudel, Gokarna Sharma
    Pages 32-49

  5. On Underlay-Aware Self-Stabilizing Overlay Networks

    • Thorsten Götte, Christian Scheideler, Alexander Setzer
    Pages 50-64

  6. A \(O(\log n)\) Distributed Algorithm to Construct Routing Structures for Pub/Sub Systems

    • Volker Turau
    Pages 65-79

  7. Self-stabilization and Byzantine Tolerance for Maximal Matching

    • Stephan Kunne, Johanne Cohen, Laurence Pilard
    Pages 80-95

  8. Exploration of Finite 2D Square Grid by a Metamorphic Robotic System

    • Keisuke Doi, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
    Pages 96-110

  9. Physical Zero-Knowledge Proof for Makaro

    • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki et al.
    Pages 111-125

  10. Searching with Increasing Speeds

    • Leszek Gąsieniec, Shuji Kijima, Jie Min
    Pages 126-138

  11. Bee’s Strategy Against Byzantines Replacing Byzantine Participants

    • Amitay Shaer, Shlomi Dolev, Silvia Bonomi, Michel Raynal, Roberto Baldoni
    Pages 139-153

  12. Simple and Fast Approximate Counting and Leader Election in Populations

    • Othon Michail, Paul G. Spirakis, Michail Theofilatos
    Pages 154-169

  13. Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures

    • Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
    Pages 170-185

  14. Acyclic Strategy for Silent Self-stabilization in Spanning Forests

    • Karine Altisen, Stéphane Devismes, Anaïs Durand
    Pages 186-202

  15. On Fast Pattern Formation by Autonomous Robots

    • Ramachandran Vaidyanathan, Gokarna Sharma, Jerry L. Trahan
    Pages 203-220

  16. Load Balanced Distributed Directories

    • Shishir Rai, Gokarna Sharma, Costas Busch, Maurice Herlihy
    Pages 221-238

  17. Relays: A New Approach for the Finite Departure Problem in Overlay Networks

    • Christian Scheideler, Alexander Setzer
    Pages 239-253

  18. Clairvoyant State Machine Replications

    • Rida Bazzi, Maurice Herlihy
    Pages 254-268

  19. Set Agreement and Renaming in the Presence of Contention-Related Crash Failures

    • Anaïs Durand, Michel Raynal, Gadi Taubenfeld
    Pages 269-283

  20. An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems

    • Chirag Juyal, Sandeep Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
    Pages 284-300
Back to top

Other volumes

  1. Stabilization, Safety, and Security of Distributed Systems

Keywords

About this book

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.

 

Editors and Affiliations

  • Nagoya Institute of Technology, Nagoya, Japan

    Taisuke Izumi

  • Telecom ParisTech, Paris, France

    Petr Kuznetsov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation