Introducing Speculation in Self-Stabilization - An Application to Mutual Exclusion

Swan Dubois, Rachid Guerraoui

Self-stabilization ensures that, after any transient fault, the system recovers in a finite time and eventually exhibits. Speculation consists in guaranteeing that the system satis…