Participants : Otmane Aït-Mohamed, Boutheina Chetali, Barbara Heyd, Pierre Lescanne
Mots clefs : parallélisme, bisimulation, vérification de programme, preuve de programme, protocole de communication, ATM, correction de protocole, déduction automatique,