Langages concurrents avec contraintes : communication par messages et distribution
Auteur / Autrice : | Jean-Hugues Réty |
Direction : | Philippe Codognet |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences appliquées |
Date : | Soutenance en 1997 |
Etablissement(s) : | Orléans |
Résumé
Nous proposons un modele de calcul concurrent par contraintes distribue dont le mecanisme de calcul local est un langage concurrent avec contraintes (cc) et dont la communication inter sites s'effectue par messages. Les canaux de communication sont des variables (logiques) du systeme de contraintes, aussi bien au niveau local (communication ask/tell des cc) qu'au niveau global (communication par messages). Les contraintes permettent une modelisation logique de la communication par messages, cette derniere s'integrant de maniere tres homogene dans les cc. Ce mecanisme de communication est proche de celui du pi-calcul de milner, parrow et walker dans sa version asynchrone. Nous definissons une relation de bisimilarite sur le langage propose et donnons un encodage du pi-calcul qui est prouve etre completement adequat.