La réécriture concurrente - Université de Lorraine Access content directly
Theses Year : 1992

Concurrent rewriting

La réécriture concurrente

Patrick Viry
  • Function : Author
  • PersonId : 787737
  • IdRef : 191709387

Abstract

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
No file

Dates and versions

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

Identifiers

  • HAL Id : tel-01748031 , version 1

Intranet access

Cite

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

Share

Gmail Facebook X LinkedIn More