• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1983

Résumé en langue originale

Ce travail est une définition formelle des schémas de Manna et de leur manipulation basée sur les notions de collatérale et de prédicat à arguments non calculés exprimées à partir du formalisme de la sémantique algébrique. L'équivalence sémantique des schémas sans boucle est caractérisée par la donnée d'une forme canonique (libre, ordonnée, réduite). Une méthode de structuration des schémas de Manna est due à l'égalité des ensembles d'alternatives reconnaissables et rationnelles. L'équivalence par commutation, intermédiaire entre les équivalences sémantiques et syntaxiques, est caractérisée par une congruence sur les alternatives.