Comparaison des comportements des processus communicants : application au langage FP2

par Sylvie Rogé

Thèse de doctorat en Informatique

Sous la direction de Philippe Jorrand.

Soutenue en 1986

à Grenoble INPG , en partenariat avec Institut d'informatique et mathématiques appliquées (Grenoble) (laboratoire) .

Le jury était composé de Joseph Sifakis.


  • Résumé

    Dans un premier temps, nous présentons des modèles permettant de décrire des systèmes de processus communicants, synchronisés par rendez-vous, ainsi que les différentes théories qui traitent le problème de la comparaison observationnelle. Nous abordons ensuite le problème à partir du langage FP2. Nous proposons une démarche qui permet de faire totalement abstraction des événements internes des processus et d'exprimer le comportement de communication des processus en n'utilisant que les événements de communication avec l'environnement. Enfin, une notion de contexte est définie et étudiée

  • Titre traduit

    Comparison of communicating process behaviours: application to the language FP2


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (197 p.)
  • Annexes : Bibliogr. p. 191-197

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1986-ROG
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB
  • Cote : TS 86/INPG/0120
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.