15/1/09 Emmanuel Beffara (IML, Marseille)

Calculs de processus algébriques

Dans cet exposé, je montrerai ce qui se passe quand on ajoute aux calculs de processus une somme formelle pour laquelle la composition parallèle est bilinéaire. Le point important est de comprendre ce que signifie zéro: il s'agit d'un symbole de test (ou d'une exception) et il permet de décomposer les constructions habituelles du calcul d'une façon nouvelle et intéressante. De ces remarques, on tire un système de réécriture confluent sur les processus (et normalisant en l'absence de réplication) qui permet de décider l'équivalence observationnelle de processus finis. Les amateurs de lambda-calcul différentiel seront ravis d'apprendre que la somme formelle correspond entre les deux calculs, de même que la réduction, dans une certaine mesure.