Global ETD Search

1	Comparaison des comportements des processus communicants : application au langage FP2 Rogé, Sylvie 22 November 1986 (has links) (PDF) 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 Langage programmation Langage fonctionnel Synchronisation Comportement rendez vous Parallélisme Divergence Système réparti Processus communicant Langage FP2