Le travail de notre équipe touche les deux domaines différents que sont l'étude du parallélisme vrai et du parallélisme d'ordre supérieur. Dans le premier domaine, notre étude est centré sur le formalisme que nous avons proposé ces dernières années pour rendre compte de la répartition spatiale des processus (notion de localité). En ce qui concerne le parallélisme d'ordre supérieur, nos recherches visent à approfondir le problème de l'implémentation optimale des langages fonctionnels (problème du partage et de l'évaluation parallèle dans le lambda-calcul), ainsi qu'a mener une étude systématique des relations entre parallélisme et calcul fonctionnel.
Mots-clés: bisimulation, concurrence, lambda-calcul, pi-calcul langage fonctionnel, modélisation, parallélisme asynchrone, sémantique, synchronisation, vérification de programme.
The Mobility Group
![[Theory page]](IMAGES/drapeau-eng.gif){kind=small}
![[CMA]](IMAGES/petit-logo-ensmp-trans.gif){kind=logo}
![[MEIJE]](IMAGES/petit-logo-inria-trans.gif){kind=logo}