La réécriture concurrente - Université de Lorraine Accéder directement au contenu
Thèse Année : 1992

Concurrent rewriting

La réécriture concurrente

Patrick Viry
  • Fonction : Auteur
  • PersonId : 787737
  • IdRef : 191709387

Résumé

Not available
La réécriture concurrente est étudiée pour ses aspects théoriques et sa capacité d'expression, puis un modèle d'implantation sur machine parallèle à mémoire distribuée est propose. Des stratégies concurrentes permettent de caractériser des dérivations aux propriétés intéressantes, le résultat principal étant l'optimalité de stratégie maximale. Une méthode effective est proposée pour combiner les spécifications équationnelles (sans idée de changement, par exemple des types abstraits) et non équationnelles (en général indéterministes et irréversibles, par exemple des transitions d'un système). Elle est ensuite appliquée à l'exemple de CCS, avec en corollaire un cadre unifié pour décrire processus et types abstraits. Le modèle d'implantation proposé est basé sur un algorithme de filtrage de bas en haut. Sa réalisation sur une machine à mémoire distribuée, donc sans état global, est décrite en exprimant les opérations de base par des échanges de messages. La réécriture concurrente semble donc un modèle de programmation intéressant pour de telles machines
Fichier non déposé

Dates et versions

tel-01748031 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01748031 , version 1

Accès intranet

Citer

Patrick Viry. La réécriture concurrente. Autre. Université Henri Poincaré - Nancy 1, 1992. Français. ⟨NNT : 1992NAN10258⟩. ⟨tel-01748031⟩
12 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More