Un environnement et un langage graphique pour la spécification de processus parallèles communicants
Cette thèse propose un environnement pour la spécification et l'analyse des processus parallèles communicants et décrit en détail la partie de cet environnement qui permet de spécifier chaque processus et de construire des réseaux de processus. Un langage permet de décrire l'activité de co...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1984
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00311545 http://tel.archives-ouvertes.fr/docs/00/31/15/45/PDF/Arkaxhiu.Eqerem_1984_these.pdf |