La réécriture concurrente

La reecriture concurrente est etudiee pour ses aspects theoriques et sa capacite d'expression, puis un modele d'implantation sur machine parallele a memoire distribuee est propose. Des strategies concurrentes permettent de caracteriser des derivations aux proprietes interessantes, le resultat principal etant l'optimalite de strategie maximale. Une methode effective est proposee pour combiner les specifications equationnelles (sans idee de changement, par exemple des types abstraits) et non equationnelles (en general indeterministes et irreversibles, par exemple des transitions d'un systeme). Elle est ensuite appliquee a l'exemple de CCS, avec en corollaire un cadre unifie pour decrire processus et types abstraits. Le modele d'implantation propose est base sur un algorithme de filtrage de bas en haut. Sa realisation sur une machine a memoire distribuee, donc sans etat global, est decrite en exprimant les operations de base par des echanges de messages. La reecriture concurrente semble donc un modele de programmation interessant pour de telles machines