Abstract FR:

Les calculs de processus sont des formalismes qui permettent de modeliser les comportements de systemes paralleles communicants. De nombreux calculs differents existent dans la litterature, car chaque calcul est forme sur une structure particuliere d'actions, representant un type specifique de communication. On formalise la notion de traduction entre calculs de processus et plus particulierement la notion de realisation permettant de passer d'une algebre d'actions a une autre. On etudie alors les proprietes algebriques devant etre verifiees par toute realisation pour permettre une validation semantique de la traduction. On donne un premier exemple de traduction directe du calcul blotos dans le calcul meije puis un autre exemple utilisant la notion de realisation entre le calcul esterel et le calcul ccs