these

UNIVERSITE DE GRENOBLENattribue par la bibliothequeTHESEpour obtenir le grade deDOCTEUR DE l’UNIVERSITE DE GRENOBLESpecialite : Informatiquepreparee au laboratoire LIG, projet SARDES,dans le cadre de l’Ecole DoctoraleMathematiques Sciences et Technologies de l’Information, Informatiquepresentee et soutenue publiquement parSergue Lengletle 15 Janvier 2010Bisimulations dans les calculs avecpassivationDirecteur de these :Jean-Bernard StefaniJURYM. Pierre-Louis Curien PresidentM. Matthew Hennessy RapporteurM. Davide Sangiorgi RappM. Jean-Fran cois Monin ExaminateurM. Francesco Zappa NardelliM. Jean-Bernard Stefani Directeur de theseM. Alan Schmitt Co-Directeur de thesea AndrianRemerciementsJe remercie Alan Schmitt et Jean-Bernard Stefani pour la presence et le soutien dontils ont fait preuve tout au long de cette these. Nos echanges m’ont permis de me poser lesbonnes questions et de corriger mes erreurs. Merci pour toutes ces discussions, scienti quesou non, qui ont participe a rendre agreables ces annees de these.Merci a l’ensemble des membres du jury, en particulier a Pierre-Louis Curien, quia accepte d’en ^etre le president, ainsi qu’ a Matthew Hennessy et Davide Sangiorgi, quiont bien voulu relire cette these, et dont les commentaires m’ont permis de sensiblementameliorer ce document.Merci a Daniel Hirschko et Tom Hirschowitz, comme enseignants d’abord, pourm’avoir donne le gout^ de la recherche en ...