Comparaison des comportements des processus communicants : application au langage FP2 - TEL - Thèses en ligne Access content directly
Theses Year : 1986

Comparison of communicating process behaviours: application to the language FP2

Comparaison des comportements des processus communicants : application au langage FP2

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
Fichier principal
Vignette du fichier
Roge.Sylvie_1986_these.pdf (20.82 Mo) Télécharger le fichier

Dates and versions

tel-00322013 , version 1 (16-09-2008)

Identifiers

  • HAL Id : tel-00322013 , version 1

Cite

Sylvie Rogé. Comparaison des comportements des processus communicants : application au langage FP2. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1986. Français. ⟨NNT : ⟩. ⟨tel-00322013⟩

Collections

UGA CNRS TDS-MACS
101 View
41 Download

Share

Gmail Facebook Twitter LinkedIn More