Processus communicants : un langage formel et ses modèles : problèmes d'analyse
Présentation d'un langage formel pour la spécification des processus communicants. On propose 3 interprétations possibles (modèles) de ce langage: la présentation d'une variété d'algèbres, un système de transition de termes, un arbre (fini ou infini). Introduction d'un calcul pou...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1984
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00311800 http://tel.archives-ouvertes.fr/docs/00/31/18/00/PDF/Pereira-Fernandez.Juan-Manuel_1984_these.pdf |
| Summary: | Présentation d'un langage formel pour la spécification des processus communicants. On propose 3 interprétations possibles (modèles) de ce langage: la présentation d'une variété d'algèbres, un système de transition de termes, un arbre (fini ou infini). Introduction d'un calcul pour la construction de réseaux de processus |
|---|