TH SE
pr sent e
L' COLE POLYTECHNIQUE
pour obtenir le titre de
DOCTEUR DE L' COLE POLYTECHNIQUE
sp cialit :
INFORMATIQUE
par
C dric FOURNET
Sujet de la th se :
LE JOIN-CALCUL :
UN CALCUL POUR LA PROGRAMMATION
R PARTIE ET MOBILE
The Join-Calculus:
a Calculus for Distributed Mobile Programming
Soutenue le 23 Novembre 1998 devant le jury compos de :
MM. Robin
Milner
Roberto
Amadio
G rard
Boudol
Jean-Jacques L vy
G rard
Berry
Luca
Cardelli
Georges
Gonthier
Pr sident
Rapporteurs
Directeur de th se
Examinateurs
.
Remerciements
M. Robin Milner a bien voulu pr sider le jury ; je l'en remercie chaleureusement.
MM. Roberto Amadio et G rard Boudol ont lu cette th se en d tail et ont accept d'en tre les rapporteurs. Qu'ils en soient remerci s, et qu'ils me pardonnent ses longueurs.
M. Jean-Jacques L vy a t un directeur de th se amical, disponible, et de bon conseil. Il m'a persuad de l'int r t de la recherche en informatique et m'a sugg r
_qsg.jpg)
