Thèse soutenue

Comparaison des comportements des processus communicants : application au langage FP2
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Sylvie Rogé
Direction : Philippe Jorrand
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1986
Etablissement(s) : Grenoble INPG
Partenaire(s) de recherche : Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble1989-2006)
Jury : Examinateurs / Examinatrices : Joseph Sifakis

Résumé

FR

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