Self-Stabilizing Systems

This book constitutes the refereed proceedings of the 6th International Symposium on Self-Stabilizing Systems, SSS 2003, held in San Francisco, CA, USA, in June 2003.
The 15 revised full papers presented were carefully reviewed and selected from 27 submissions. The papers address self-stabilization issues for various types of systems and software including communication protocols, sensor networks, biological systems, and directed networks; several new algorithms are presented.

Inhalt
A Pursuer-Evader Game for Sensor Networks.- Collision-Free Communication in Sensor Networks.- Self-Stabilizing Pulse Synchronization Inspired by Biological Pacemaker Networks.- Self-Stabilizing Algorithms for {k}-Domination.- Self-Stabilizing Group Communication in Directed Networks (Extended Abstract).- Lyapunov Analysis of Neural Network Stability in an Adaptive Flight Control System.- Self-Stabilizing Token Circulation on Uniform Trees by Using Edge-Tokens.- Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency.- A New Self-Stabilizing ?-out-of-? Exclusion Algorithm on Rings.- A Framework of Safe Stabilization.- A Method for Evaluating Efficiency of Protocols on the Asynchronous Shared-State Model.- Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures.- A Stabilizing Solution to the Stable Path Problem.- Route Preserving Stabilization.- An Improved Snap-Stabilizing PIF Algorithm.