19/02/2004
Emmanuel Beffara
Réseaux concurrents — une étude du préfixage dans les calculs de processus

Dans les calculs de processus, le préfixage est une notion fondamentale qui interagit avec d'autres concepts comme la localité et la causalité. Dans le but d'élargir la compréhension de ces interactions, on introduit le calcul des réseaux concurrents comme une extension du calcul de fusion de Parrow et Victor dans laquelle le préfixage usuel est remplacé par l'utilisation de gardes monotones. Nous utilisons ensuite ce formalisme pour décrire la politique de préfixage de calculs standard, tels que fusion et le pi-calcul, comme une forme particulière de communication. En développant une syntaxe graphique, nous affinons l'intuition géométrique afin de définir un encodage de ces gardes sous forme de causalité dans les communications, dans l'esprit de l'encodage du pi-calcul dans les solos par Laneve et Victor, montrant que le fragment sans gardes est, dans un certain sens, aussi expressif que le calcul complet.