Langages concurrents avec contraintes : communication par messages et distribution

par Jean-Hugues Réty

Thèse de doctorat en Sciences appliquées

Sous la direction de Philippe Codognet.

Soutenue en 1997

à Orléans .

    mots clés mots clés


  • 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.

  • Titre traduit

    Concurrent constraint languages : message-based communication and distribution


  • Pas de résumé disponible.

Autre version

Cette thèse a donné lieu à une publication en 1997 par [INRIA] à [Le Chesnay]

Langages concurrents avec contraintes : communication par messages et distribution


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 146 P.
  • Annexes : 85 REF.

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.
Cette thèse a donné lieu à 1 publication .

Consulter en bibliothèque

Cette thèse a donné lieu à une publication en 1997 par [INRIA] à [Le Chesnay]

Informations

  • Sous le titre : Langages concurrents avec contraintes : communication par messages et distribution
  • Détails : 146 p.
  • Notes : Résumés.
  • ISBN : 2-7261-1065-7
  • Annexes : Bibliogr. p. 133-140
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse ?