Comparaison des comportements des processus communicants : application au langage FP2
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. No...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1986
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00322013 http://tel.archives-ouvertes.fr/docs/00/32/20/13/PDF/Roge.Sylvie_1986_these.pdf |