Un modele distribue

par Paul Gastin

Thèse de doctorat en Sciences appliquées

Sous la direction de Maurice Nivat.

Soutenue en 1987

à Paris 7 .

    mots clés mots clés


  • Résumé

    Le modele presente s'inspire de la theorie des langages. Son originalite est le refus de representer le parallelisme par intercalage des actions concurrentes. Les idees fortes reprises dans ce travail sont issues des langages csp et estelle. Il s'agit principalement de l'independance totale des processus en dehors des synchronisations, ces dernieres etant des rendez-vous. Un element du modele distribue sera en consequence un vecteur d'histoires (un four chaque processus) et un ensemble de synchronisations


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 152 P.
  • Annexes : 46 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1987
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.