Michel Bauderon, Yves Métivier, Mohamed Mosbah, Afif Sellami. Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms. Electronic Notes in Theoretical Computer Science, 51:93-107, 2001. [doi]
Abstract is missing.