Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

Stabilization, Safety, and Security of Distributed Systems

15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Editors:

  1. Teruo Higashino

    1. Graduate School of Information Science and Technology, Osaka University, Suita, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yoshiaki Katayama

    1. Nagoya Institute of Technology, Nagoya, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Toshimitsu Masuzawa

    1. Graduate School of Information Science and Technology, Osaka University, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Maria Potop-Butucaru

    1. LIP6, University Paris 6, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Masafumi Yamashita

    1. Kyushu University, Fukuoka, Japan

    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 8255)

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

Conference series link(s): SSS: International Symposium on Stabilizing, Safety, and Security of Distributed Systems

Conference proceedings info: SSS 2013.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as 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

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

Table of contents (35 papers)

  1. Front Matter

    PDF

  2. Transactional Encoding for Tolerating Transient Hardware Errors

    • Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber
    Pages 1-16

  5. Concurrent Wait-Free Red Black Trees

    • Aravind Natarajan, Lee H. Savoie, Neeraj Mittal
    Pages 45-60

  6. Self-stabilizing (f,g)-Alliances with Safe Convergence

    • Fabienne Carrier, Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
    Pages 61-73

  7. A Self-stabilizing Algorithm for Maximal p-Star Decomposition of General Graphs

    • Brahim Neggazi, Volker Turau, Mohammed Haddad, Hamamache Kheddouci
    Pages 74-85

  8. Space Complexity of Self-Stabilizing Leader Election in Population Protocol Based on k-Interaction

    • Xiaoguang Xu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
    Pages 86-97

  9. Self-Healing of Byzantine Faults

    • Jeffrey Knockel, George Saad, Jared Saia
    Pages 98-112

  10. Leader Election and Centers and Medians in Tree Networks

    • Ajoy K. Datta, Lawrence L. Larmore
    Pages 113-132

  11. Local Decision and Verification with Bounded-Size Outputs

    • Heger Arfaoui, Pierre Fraigniaud, Andrzej Pelc
    Pages 133-147

  12. How Good is Weak-Stabilization?

    • Narges Fallahi, Borzoo Bonakdarpour
    Pages 148-162

  13. Verifying Livelock Freedom on Parameterized Rings and Chains

    • Alex P. Klinkhamer, Ali Ebnenasir
    Pages 163-177

  14. Certified Impossibility Results for Byzantine-Tolerant Mobile Robots

    • Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
    Pages 178-190

  15. Self-stabilizing Balancing Algorithm for Containment-Based Trees

    • Evangelos Bampas, Anissa Lamani, Franck Petit, Mathieu Valero
    Pages 191-205

  16. On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game

    • Xavier Vilaça, Luís Rodrigues
    Pages 206-220

  17. Linearizing Peer-to-Peer Systems with Oracles

    • Rizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil
    Pages 221-236

  18. Synchronous Counting and Computational Algorithm Design

    • Danny Dolev, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela
    Pages 237-250

  20. Automated Addition of Fault-Tolerance under Synchronous Semantics

    • Yiyan Lin, Borzoo Bonakdarpour, Sandeep Kulkarni
    Pages 266-280
Back to top

Other Volumes

  1. Stabilization, Safety, and Security of Distributed Systems

Back to top

About this book

This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. The 23 regular papers and 12 short papers presented were carefully reviewed and selected from 68 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization, fault tolerance and dependability; formal methods and distributed systems; ad-hoc, sensors, mobile agents and robot networks and P2P, social, self-organizing, autonomic and opportunistic networks.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Graduate School of Information Science and Technology, Osaka University, Suita, Japan

    Teruo Higashino

  • Nagoya Institute of Technology, Nagoya, Japan

    Yoshiaki Katayama

  • Graduate School of Information Science and Technology, Osaka University, Japan

    Toshimitsu Masuzawa

  • LIP6, University Paris 6, Paris, France

    Maria Potop-Butucaru

  • Kyushu University, Fukuoka, Japan

    Masafumi Yamashita

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as 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

Search

Navigation