Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Doctorat de

Doctorat
Equipe :

Analyse modulaire de flot d'information pour les calculs séquentiels et concurrents

Début le 01/09/1998
Direction :

Ecole doctorale : ED STIC 580
Etablissement d'inscription : Université Paris 7 (Diderot)

Lieu de déroulement : INRIA Rocquencourt

Soutenue le 13/09/2002 devant le jury composé de :
Guy Cousineau
Jean-Jacques Lévy
Cosimo Laneve
Giuseppe Castagna
Ilaria Castellani
Peter Sewell

Activités de recherche :

Résumé :


Pour en savoir plus: http://www.lri.fr/~conchon/publis/conchon-these.ps