%0 Conference Proceedings %F MOSBAH_2001-Implementation %A Mosbah, Mohamed %A Sellami, Affif %T Implementation of an Enumeration Protocol Algorithm Using Local Graph Computations %B Second International Workshop on Graph Transformation and Visual Modeling Techniques %C Crete, Greece %X We present an implementation of Mazurkiewicz algorithm based on local graph transformations. Through this case study, we present a methodology for modeling distributed algorithms coded by graph relabelling systems. We obtain a simple and efficient implementation that makes the algorithm easier to understand. We also provide an experimental evaluation by implementing it in ViSiDiA, a tool for simulating and visualizing distributed algorithms. %U ../../articles/mazur.ps.gz %8 July %D 2001