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).