Université Lille1 - Sciences et Technologies Schémas de Manna : modélisation et équivalence par commutation 005.131 Logiciels Commutation, Théorie de la Text Electronic Thesis or Dissertation fr 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. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1983/50376-1983-283.pdf Toujgani Albdelkafar 1900-01-01 129451401 1983-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui ddc:000 ASCII PDF 9999