Abstract FR:

La réécriture concurrente est étudiée pour ses aspects théoriques et sa capacité d'expression, puis un modèle d'implantation sur machine parallèle à mémoire distribuée est propose. Des stratégies concurrentes permettent de caractériser des dérivations aux propriétés intéressantes, le résultat principal étant l'optimalité de stratégie maximale. Une méthode effective est proposée pour combiner les spécifications équationnelles (sans idée de changement, par exemple des types abstraits) et non équationnelles (en général indéterministes et irréversibles, par exemple des transitions d'un système). Elle est ensuite appliquée à l'exemple de CCS, avec en corollaire un cadre unifié pour décrire processus et types abstraits. Le modèle d'implantation proposé est basé sur un algorithme de filtrage de bas en haut. Sa réalisation sur une machine à mémoire distribuée, donc sans état global, est décrite en exprimant les opérations de base par des échanges de messages. La réécriture concurrente semble donc un modèle de programmation intéressant pour de telles machines