Précédent : Actions de recherche Remonter : Actions de recherche Suivant : Sémantique de la mobilité
Précédent : Actions de recherche Remonter : Actions de
recherche Suivant : Sémantique de la
mobilité
Participants : Gérard Boudol, Ilaria Castellani, Silvano Dal-Zilio, Uwe Nestmann, Davide Sangiorgi, Roberto Amadio
Mots-clés : bisimulation,concurrence,lambda-calcul,langage fonctionnel, modélisation, parallélisme asynchrone, processus mobiles, synchronisation, sémantique, vérification de programme
Nous poursuivons notre étude des langages d'ordre supérieur,
qui expriment directement l'idée de mobilité. La mobilité
concerne, dans les modèles que nous étudions, soit la topologie
du réseau de communication, soit les programmes eux-mêmes. Le
premier cas est bien représenté par le 
-calcul de Milner, où les canaux de communication sont transmis
d'un agent à l'autre. D'un autre côté, dans les langages d'ordre
supérieur proprement dit, ce sont les agents qui sont transmis au
cours de la communication. Nous divisons, de façon quelque peu
arbitraire, la présentation de cette activité en deux parties.
L'une concerne la sémantique de la mobilité, et l'autre
traite de mobilité et vérification.