Publisher's Synopsis
The proceedings contains 14 papers presented at the June 1999 workshop. Topics include stabilization of maximal metric trees, parallel composition of stabilizing algorithms, an exercise in proving convergence through transfer functions, finite-state self-stabilizing protocols in message-passing systems, state-optimal snap-stabilizing PIF in tree ne