Traduction entre calculs de processus

par GUILLAUME DOUMENG

Thèse de doctorat en Sciences appliquées

Sous la direction de Paul Franchi-Zannettacci.

Soutenue en 1991

à Nice .

    mots clés mots clés


  • Résumé

    Les calculs de processus sont des formalismes qui permettent de modeliser les comportements de systemes paralleles communicants. De nombreux calculs differents existent dans la litterature, car chaque calcul est forme sur une structure particuliere d'actions, representant un type specifique de communication. On formalise la notion de traduction entre calculs de processus et plus particulierement la notion de realisation permettant de passer d'une algebre d'actions a une autre. On etudie alors les proprietes algebriques devant etre verifiees par toute realisation pour permettre une validation semantique de la traduction. On donne un premier exemple de traduction directe du calcul blotos dans le calcul meije puis un autre exemple utilisant la notion de realisation entre le calcul esterel et le calcul ccs


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 70 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.