Self-Stabilization Algorithm