Communicating processes: a formal language and his models: analysis problems

Processus communicants : un langage formel et ses modèles : problèmes d'analyse

Juan Manuel Pereira-Fernandez (1)

1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble

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

Mots clés: Formal language; Communication process; Model theory; Rewriting; Specification

Mots clés: Arbre infini; Langage formel; Processus communication; Théorie modèles; Réécriture

Domaines: Modélisation et simulation

Juan Manuel Pereira-Fernandez. Processus communicants : un langage formel et ses modèles : problèmes d'analyse. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1984. Français. ⟨NNT : ⟩. ⟨tel-00311800⟩