Contributions a la semantique du parallelisme : bisimulations pour le raffinement et le vrai parallelisme

par FERROUDJA CHERLEF HADJARES

Thèse de doctorat en Sciences appliquées

Sous la direction de Philippe Jorrand.

Soutenue en 1992

à l'INP GRENOBLE .

    mots clés mots clés


  • Résumé

    Dans ce travail nous nous interessons essentiellement aux trois points de vue importants adoptes dans la semantique du parallelisme: l'etude d'equivalences comportementales compatibles avec le raffinement d'actions, les modeles dits de vrai parallelisme, et les liens qui existent entre les logiques temporelles et les equivalences comportementales. Parmi les equivalences de bisimulation qui traitent les situations ou certaines actions sont invisibles ou non observables de l'exterieur, la -bisimulation ou equivalence observationnelle de milner et la -bisimulation ne sont pas compatibles avec le raffinement d'actions. La bisimulation de branchement et la -bisimulation sont compatibles avec le raffinement d'actions. Ceci nous a suggere la recherche d'equivalences compatibles avec le raffinement et contenues dans la -bisimulation ou la -bisimulation. Aussi, nous avons defini la notion de bisimulation avant arriere sur les structures d'evenements primaires qui constituent un modele de base pour le brai parallelisme. Nous avons generalise cette nouvelle definition a la step, partial word et pomset bisimulation avant arriere. Nous avons compare ces nouvelles equivalences aux autres equivalences de bisimulation sur les structures d'evenements primaires. Il s'est avere essentiellement que la pomset et la partial word bisimulations avant arriere coincident avec la history preserving bisimulation. Partant de ce resultat, nous avons propose une logique l#b#f, adequate a la history preserving bisimulation. Nous avons aussi montre que la logique 1p de dnf 90 caracterise elle aussi la history preserving bisimulation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 94 REF

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.