Skip to main content
  • Conference proceedings
  • © 2005

Self-Stabilizing Systems

7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005

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

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 2005.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (15 papers)

  1. Front Matter

  2. Snap-Stabilizing Optimal Binary Search Tree

    • Doina Bein, Ajoy K. Datta, Vincent Villain
    Pages 1-17
  3. Synchronous vs. Asynchronous Unison

    • Christian Boulinier, Franck Petit, Vincent Villain
    Pages 18-32
  4. A Snap-Stabilizing DFS with a Lower Space Requirement

    • Alain Cournier, Stéphane Devismes, Vincent Villain
    Pages 33-47
  5. Self-stabilization of Byzantine Protocols

    • Ariel Daliot, Danny Dolev
    Pages 48-67
  6. Self-stabilization with r-Operators Revisited

    • Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil
    Pages 68-80
  7. Self-stabilization Preserving Compiler

    • Shlomi Dolev, Yinnon Haviv, Mooly Sagiv
    Pages 81-95
  8. Self-stabilizing Mobile Node Location Management and Message Routing

    • Shlomi Dolev, Limor Lahiani, Nancy Lynch, Tina Nolte
    Pages 96-112
  9. Memory Management for Self-stabilizing Operating Systems

    • Shlomi Dolev, Reuven Yagel
    Pages 113-127
  10. Code Stabilization

    • Felix C. Freiling, Sukumar Ghosh
    Pages 128-139
  11. Stabilizing Certificate Dispersal

    • Mohamed G. Gouda, Eunjin (EJ) Jung
    Pages 140-152
  12. Towards Automatic Convergence Verification of Self-stabilizing Algorithms

    • Jens Oehlerking, Abhishek Dhama, Oliver Theel
    Pages 198-213
  13. Back Matter

Other Volumes

  1. Self-Stabilizing Systems

Keywords

  • Routing
  • adaptive self-stabilization
  • adaptive systems
  • algorithm
  • algorithms
  • disributed algorithms
  • distributed systems
  • error-correcting codes
  • group communication
  • mobile computation
  • operating system
  • organization
  • self-organization
  • self-stabilization
  • verification
  • algorithm analysis and problem complexity

Editors and Affiliations

  • LIP6 & INRIA Grand Large, Université Pierre et Marie Curie - Paris 6, Paris, France

    Sébastien Tixeuil

  • Department of Computer Science, University of Iowa, Iowa City, U.S.A.

    Ted Herman

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions