An asychronous model for distributed systems (French)

Resume La modelisation des systemes distribues est un sujet qui a deja fait couler beaucoup d'encre. On presente ici un nouveau modele qui s'inspire de la theorie des langages. Son originalite par rapport aux modeles developpes dans ce cadre est le refus de representer le parallelisme par l'intercalage des actions concurrents. Les idees fortes reprises ici sont issues des langages CSP et ESTELLE. Il s'agit principalement de l'independance totale des processus en dehors des synchronisations, ces dernieres etant des rendez-vous . Un element du modele distribue sera essentiellement un vecteur d'histories (une pour chaque processus) et un ensemble de synchronisations. Une fois le modele defini, on introduit les notions de longueur, concatenation, ordre prefixe, borne superieure et produit infini. Le modele distribue est ainsi muni de toutes les operations necessaires au developpement aise de semantiques. Enfin, on montre que la partie finitaire du modele distribue est isomorphe au monoide partiellement commutatif (mpc). On donne alors les bases d'une extension infinitaire du mpc.