Comparaison des comportements des processus communicants : application au langage FP2 / Sylvie Rogé ; sous la direction de [Philippe Jorrand]

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Programmation

Parallélisme (informatique)

Sifakis, Joseph (1946-.... ; informaticien) (Membre du jury / opponent)

Jorrand, Philippe (19..-.... ; informaticien) (Directeur de thèse / thesis advisor)

Institut national polytechnique (Grenoble ; 1900-....) (Organisme de soutenance / degree-grantor)

Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006) (Laboratoire associé à la thèse / thesis associated laboratory)

Relation : Comparaison des comportements des processus communicants : application au langage FP2 / Sylvie Rogé ; sous la direction de [Philippe Jorrand] / Grenoble : Université Joseph Fourier , 2008

Relation : Comparaison des comportements des processus communicants : application au langage FP2 / Sylvie Rogé ; sous la direction de [Philippe Jorrand] / Grenoble : Atelier national de reproduction des thèses , 1986

Résumé / Abstract : 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