Proposition de Semantique Denotationelle pour des Reseaux de Processus avec Operateur de Melange Equitable

Dans [4,5] G. Kahn a considere une ciasse de reseaux de processus pour lesquels il est possible de fournir une semantique denotationnelle ([13, !.6,9]), Ces reseaux ont la propriete d’gtre ‘a resultat determine’ (c’est-a-dire que toutes les executions possibles m&rent au meme resultat). Dans ce tcxte nous proposons d’iniroduire le non-determinisme dans la sous classe des reseaux de Kahn non :&ursifs par l’utilisation d’un processus de melange equitable (‘fair merge’). Nous proposons egalement une semantique denotationnelle pour ces reseaux. Le processus de melange equitable (appele processus ‘merge’ dans la suite) envoie sur sa sortie unique les informations recues sur ses entrees sans jamais defavoriser indefiniment I’une d’elles. De plus, si jamais rien n’arrive sur l’une de ses entrees, alors le merge se comporte comme si cette entree n’existait pas. Intuitivement le merge est done un ‘entonnoir’ qui melange les informaticns qu’il recoit sur ses entrees pour les envoyer sur sa sortie. Fournir une semantique denotationnelle pour un ensemble de reseaux de processus consiste a associer 8 tout reseau .R obtenu a l’aide des composants Ro, . l . , R,, une signification S&R) appartenant 6 un domaine mathematique, telle que 2&,,(R) est determine par Sden(RO), . . . , Sden(.fZn). Le probleme de la liaison entre la s!Jmantique denotationnelle et une semantique operationnelle (pour laquelle esk Winie une notion d’equivalence operationnelle de deux reseaux) est alors double;: caractkriser la relation operationn elle existant entre deux reseaux RI et & tels que &en@ 1) = &en(&) ; casacteriser la relation entre Sder,,(&) et Sden(&) lorsque R 1 et: RZ sont deux reseaux 6quivalents operationnellement .