Visualization of Distributed Algorithms Based on Graph Relabelling Systems. - Michel Bauderon; Stefan Gruner; Yves Métivier; Mohamed Mosbah 001; Afif Sellami (GT-VMT@ICALP, 2001)

Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms. - Michel Bauderon; Yves Métivier; Mohamed Mosbah 001; Afif Sellami (GETGRATS Closing Workshop, 2001)

Termination Detection of Distributed Algorithms by Graph Relabelling Systems. - Emmanuel Godard; Yves Métivier; Mohamed Mosbah 001; Afif Sellami (ICGT, 2002)

Synchronizers for Local Computations. - Yves Métivier; Mohamed Mosbah 001; Rodrigue Ossamy; Afif Sellami (ICGT, 2004)