Projet ANR SOAPDC :
Programme du neuvième rencontre
CMI, salle 102, le jeudi 8/03/07

Lieu : CMI, salle 102, le jeudi 8/03/07, à 12h45.

Programme :

Résumé:

Le typage affine du pi-calcul, proposé par Honda, Yoshida et Berger, garantit que les processus bien typé satisfont plusieurs propretés. En particulier, les réductions des processus affinement typés sont confluents. Intuitivement, confluence signifie absence de conflit, déterminisme.

Un modèle de concurrence où l'absence de conflit est explicitement représentée sont les structures d'événements. Dans cet exposé on présentera une sémantique du pi-calcul affine en termes de structures d'événements. En particulier on soulignera les difficultés rencontrées pour modéliser la création dynamique des canaux, et pour éliminer certains conflits "cachés".

(travail en collaboration avec Nobuko Yoshida, Imperial College).



Luigi Santocanale
Dernière mise à jour : Tue Mar 6 12:59:19 CET 2007