Résumé: A théorie des traces de mazurkiewicz n'est pas suffisamment puissante pour décrire certains paradigmes de la concurrence comme celui du producteur/consommateur. On propose dans cette thèse, une généralisations des monoïdes de traces qui permet de modéliser de tels problèmes. On considère des quotients du monoïde libre par des congruences qui préservent l'image commutative des mots. Une classe d'équivalence dans le monoïde consiste en toutes les observations séquentielles d'un comportement distribue. Afin de caractériser les congruences qui représentent réellement les systèmes distribues, on compare notre approche a la modélisation classique de la concurrence au moyen d'ordres partiels. On montre que les seules congruences dont les classes sont représentables par ordres partiels et pour lesquelles la concaténation s'exprime modulairement sur ces ordres partiels sont les congruences de traces de mazurkiewicz. On établit ensuite des conditions nécessaires et des conditions suffisantes sur les congruences pour que leurs classes d'équivalence soient représentables par ordres partiels. En particulier, une condition suffisante importante couvre a la fois le cas des traces et celui du paradigme du producteur/consommateur. Dans une deuxième partie, nous optons pour une autre approche de ces congruences représentables par ordres partiels. Il s'agit de représenter la classe d'un mot par l'ordre partiel des préfixes de cette classe. Nous terminons dans la troisièmes partie par une étude de la reconnaissable dans les monoïdes quotients d'un monoïde libre par une congruence qui préserve l'image commutative

Paris:
Langue: Français
Collation: 125 p. ill. ;30 cm
Diplôme: Doctorat
Etablissement de soutenance: Paris, Université Paris et Marie Curie
Spécialité: Informatique
Thème Informatique

Note: Bibliogr.pp.121-125