A. Sellami

发表

Synchronizers for Local Computations

Yves Métivier, Mohamed Mosbah, Afif Sellami, 2004, ICGT.

Termination Detection of Distributed Algorithms by Graph Relabelling Systems

Yves Métivier, Emmanuel Godard, Mohamed Mosbah, 2002, ICGT.

Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms

Yves Métivier, Michel Bauderon, Mohamed Mosbah, 2002, GETGRATS Closing Workshop.

Visualization of Distributed Algorithms Based on Graph Relabelling Systems

Yves Métivier, Stefan Gruner, Michel Bauderon, 2001, GT-VMT@ICALP.