↓ Skip to main content

Stabilization, Safety, and Security of Distributed Systems

Overview of attention for book
Cover of 'Stabilization, Safety, and Security of Distributed Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Arcane Information, Solving Relations, and Church Censorship
  3. Altmetric Badge
    Chapter 2 Computation of Equilibria and Stable Solutions
  4. Altmetric Badge
    Chapter 3 A Geometry of Networks
  5. Altmetric Badge
    Chapter 4 Systematic Correct Construction of Self-stabilizing Systems: A Case Study
  6. Altmetric Badge
    Chapter 5 A Fault-Resistant Asynchronous Clock Function
  7. Altmetric Badge
    Chapter 6 Self-stabilizing Leader Election in Dynamic Networks
  8. Altmetric Badge
    Chapter 7 Loop-Free Super-Stabilizing Spanning Tree Construction
  9. Altmetric Badge
    Chapter 8 A New Technique for Proving Self-stabilizing under the Distributed Scheduler
  10. Altmetric Badge
    Chapter 9 A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms
  11. Altmetric Badge
    Chapter 10 On Byzantine Containment Properties of the min  + 1 Protocol
  12. Altmetric Badge
    Chapter 11 Efficient Self-stabilizing Graph Searching in Tree Networks
  13. Altmetric Badge
    Chapter 12 Adaptive Containment of Time-Bounded Byzantine Faults
  14. Altmetric Badge
    Chapter 13 Brief Announcement: Fast Convergence in Route-Preservation
  15. Altmetric Badge
    Chapter 14 Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure
  16. Altmetric Badge
    Chapter 15 On Applicability of Random Graphs for Modeling Random Key Predistribution for Wireless Sensor Networks
  17. Altmetric Badge
    Chapter 16 “Slow Is Fast” for Wireless Sensor Networks in the Presence of Message Losses
  18. Altmetric Badge
    Chapter 17 Modeling and Analyzing Periodic Distributed Computations
  19. Altmetric Badge
    Chapter 18 Complexity Issues in Automated Model Revision without Explicit Legitimate State
  20. Altmetric Badge
    Chapter 19 Algorithmic Verification of Population Protocols
  21. Altmetric Badge
    Chapter 20 Energy Management for Time-Critical Energy Harvesting Wireless Sensor Networks
  22. Altmetric Badge
    Chapter 21 Stably Decidable Graph Languages by Mediated Population Protocols
  23. Altmetric Badge
    Chapter 22 Broadcasting in Sensor Networks of Unknown Topology in the Presence of Swamping
  24. Altmetric Badge
    Chapter 23 Brief Announcement: Configuration of Actuated Camera Networks for Multi-target Coverage
  25. Altmetric Badge
    Chapter 24 Brief Announcement: On the Hardness of Topology Inference
  26. Altmetric Badge
    Chapter 25 Self-stabilizing Algorithm of Two-Hop Conflict Resolution
  27. Altmetric Badge
    Chapter 26 Stabilization, Safety, and Security of Distributed Systems
  28. Altmetric Badge
    Chapter 27 Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility
  29. Altmetric Badge
    Chapter 28 Computing in Social Networks
  30. Altmetric Badge
    Chapter 29 On Transactional Scheduling in Distributed Transactional Memory Systems
  31. Altmetric Badge
    Chapter 30 Recursion in Distributed Computing
  32. Altmetric Badge
    Chapter 31 On Adaptive Renaming under Eventually Limited Contention
  33. Altmetric Badge
    Chapter 32 RobuSTM: A Robust Software Transactional Memory
  34. Altmetric Badge
    Chapter 33 A Provably Starvation-Free Distributed Directory Protocol
  35. Altmetric Badge
    Chapter 34 Lightweight Live Migration for High Availability Cluster Service
  36. Altmetric Badge
    Chapter 35 Approximation of δ -Timeliness
  37. Altmetric Badge
    Chapter 36 A Framework for Adaptive Optimization of Remote Synchronous CSCW in the Cloud Computing Era
  38. Altmetric Badge
    Chapter 37 <Emphasis FontCategory="SansSerif">Chameleon-MAC</Emphasis>: Adaptive and Self-⋆ Algorithms for Media Access Control in Mobile Ad Hoc Networks
  39. Altmetric Badge
    Chapter 38 A Comparative Study of Rateless Codes for P2P Persistent Storage
  40. Altmetric Badge
    Chapter 39 Dynamically Reconfigurable Filtering Architectures
  41. Altmetric Badge
    Chapter 40 A Quantitative Analysis of Redundancy Schemes for Peer-to-Peer Storage Systems
  42. Altmetric Badge
    Chapter 41 A Framework for Secure and Private P2P Publish/Subscribe
  43. Altmetric Badge
    Chapter 42 Snap-Stabilizing Linear Message Forwarding
  44. Altmetric Badge
    Chapter 43 Vulnerability Analysis of High Dimensional Complex Systems
  45. Altmetric Badge
    Chapter 44 Storage Capacity of Labeled Graphs
  46. Altmetric Badge
    Chapter 45 Safe Flocking in Spite of Actuator Faults
Attention for Chapter 42: Snap-Stabilizing Linear Message Forwarding
Altmetric Badge

Citations

dimensions_citation
2 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Snap-Stabilizing Linear Message Forwarding
Chapter number 42
Book title
Stabilization, Safety, and Security of Distributed Systems
Published by
Springer, Berlin, Heidelberg, September 2010
DOI 10.1007/978-3-642-16023-3_42
Book ISBNs
978-3-64-216022-6, 978-3-64-216023-3
Authors

Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain