Self-Stabilizing Autonomic Recoverers

Self-stabilization is a system property that implies the system convergence to the desired behavi...