Habilitation à Diriger des Recherches

Modélisation en Pi-calcul

Pi-calcul: algèbre de processus

canaux: objets de première classe

traduction Eiffel// -> Pi-terme

interprétation (réduction) du Pi-terme

réduire le nombre de canaux

étudier les propriétés d'équivalence (bi-simulation)