Introduction

Le pi-calcul est un langage formel développé dans les années 90 pour raisonner sur les systèmes distribués communicant. Il permet de plus de décrire des systèmes de processus mobiles, c.à.d. des systèmes dont le nombre de processus ainsi que liens de communication entre processus peuvent varier au cours du temps. L'article ``The Polyadic pi-calculus: a Tutorial'', de Robin Milner, qu'il s'agira d'exposer, a sensiblement contribué à populariser ce langage. Le pi-calcul est principalement utilisé pour établir des preuves d'équivalence entre des modèles de systèmes distribués. Cette lecture sera l'occasion de découvrir que dans le monde des systèmes distribués, des processus peuvent être considérés comme étant ou non identiques, selon de nombreux points de vue. Des implémentations utilisant les thread Java sont envisageables.

Liens

Tutorial de R. Milner (ne lire que les 30 premières pages)

GOUBAULT Eric

Last modified: Mon Jan 28 18:54:47 MET 2002