doi dblp Introduction to Distributed Self-Stabilizing Algorithms Karine Altisen | Stéphane Devismes | Swan Dubois | Franck Petit