Return to search

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 pour la construction de réseaux de processus

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00311800
Date08 June 1984
CreatorsPereira-Fernandez, Juan Manuel
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0018 seconds