Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones

par Juan Vicente Echagüe Zappettini

Thèse de doctorat en Informatique

Sous la direction de Philippe Jorrand.

Soutenue en 1993

à Grenoble INPG .

Le jury était composé de Joseph Sifakis.


  • Résumé

    Dans cette thèse, nous étudions les systèmes de transitions asynchrones en tant que modèles pour la sémantique des systèmes réactifs. Les systèmes de transitions asynchrones (STA) de Shields et Bednarczyk, sont une généralisation des systèmes de transitions (ST) et des structures d'événements stables (SE). Tout d'abord nous définissons l'opération de raffinement d'actions sur les STA, qui permet de relier entre elles les descriptions d'un système a différents niveaux d'abstraction. Ensuite, nous proposons des équivalences sémantiques sur les STA et nous étudions leur compatibilité avec l'opération de raffinement. Enfin, nous relions notre cadre avec celui de la théorie des sémantiques opérationnelles structurées (SOS) de Plotkin


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (79 p.)
  • Annexes : Bibliogr. p. 75-79

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
  • 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 93/INPG/0081
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1993-ECH
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.