C Boulinier, F Petit, V Villain - Proceedings of the twenty-third annual …, 2004 - dl.acm.org
We propose a general self-stabilizing scheme for solving any synchronization problem
whose safety specification can be defined using a local property. We demonstrate the …