Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg. A New Rewrite Method for Convergence of Self-Stabilizing Systems. In Prasad Jayanti, editor, Distributed Computing, 13th International Symposium, Bratislava, Slavak Republic, September 27-29, 1999, Proceedings. Volume 1693 of Lecture Notes in Computer Science, pages 240-253, Springer, 1999. [doi]
Abstract is missing.