Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme

par Ferroudja Cherief

Thèse de doctorat en Informatique

Sous la direction de Philippe Jorrand.

Le jury était composé de Joseph Sifakis.


  • Résumé

    Dans ce travail nous nous intéressons essentiellement aux trois points de vue importants adoptés dans la sémantique du parallélisme: l'étude d'équivalences comportementales compatibles avec le raffinement d'actions, les modèles dits de «vrai parallélisme», et les liens qui existent entre les logiques temporelles et les équivalences comportementales. Parmi les équivalences de bisimulation qui traitent les situations où certaines actions sont invisibles ou non observables de l'extérieur, la τ-bisimulation ou équivalence 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 suggéré la recherche d'équivalences compatibles avec le raffinement et contenues dans la τ-bisimulation ou la η-bisimulation. Aussi, nous avons défini la notion de bisimulation avant arrière sur les structures d'événements primaires qui constituent un modèle de base pour le brai parallélisme. Nous avons généralisé cette nouvelle définition à la step, partial word et pomset bisimulation avant arrière. Nous avons comparé ces nouvelles équivalences aux autres équivalences de bisimulation sur les structures d'événements primaires. Il s'est avéré essentiellement que la pomset et la partial word bisimulations avant arrière coïncident avec la history preserving bisimulation. Partant de ce résultat, nous avons proposé une logique lbf, adéquate à la history preserving bisimulation. Nous avons aussi montré que la logique 1p de [DNF 90] caractérise elle aussi la history preserving bisimulation

  • Titre traduit

    Contributions to the semantics of parallelism: bisimulations for refinement and true concurrency


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (pagination multiple [120] f.)
  • Annexes : Bibliogr. 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.
  • Disponible pour le PEB
  • Cote : TS 92/INPG/0111
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1992-CHE
  • Bibliothèque : Ecole nationale supérieure des mines. Centre de documentation et d'information.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.