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

Description

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

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00311800
2. http://tel.archives-ouvertes.fr/docs/00/31/18/00/PDF/Pereira-Fernandez.Juan-Manuel_1984_these.pdf

Tags

Langage formel

Processus communication

Théorie modèles

Réécriture

Spécification

Arbre infini

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00311800
Date	08 June 1984
Creators	Pereira-Fernandez, Juan Manuel
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	PhD thesis