Abstract FR:

Le but de cette these est de suggerer une approche fonctorielle pour la description du comportement de processus reactifs. Dans la mesure ou un langage de processus ne prend de sens que vis-a-vis d'une semantique operationnelle, la premiere etape de ce travail consiste a systematiser la demarche allant de la definition operationnelle d'un langage de programmation a un modele pleinement abstrait de celui-ci. La categorie des modeles d'un langage de processus se construit alors en derivant successivement de son modele operationnel d'autres modeles par emploi systematique de morphismes d'abstraction correspondant a diverses notions d'observables. La difficulte essentielle est la construction d'operateurs de points fixes qui commutent avec ces morphismes. A cet effet, une notion generale de calcul de points fixes est formalisee dans le cadre des theories algebriques