UN MODELE DISTRIBUE / PAUL GASTIN ; sous la direction de MAURICE NIVAT

Date :

Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 1987

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Nivat, Maurice (1937-2017 ; informaticien) (Directeur de thèse / thesis advisor)

Université Paris Diderot - Paris 7 (1970-2019) (Organisme de soutenance / degree-grantor)

Relation : UN MODELE DISTRIBUE / Paul Gastin ; sous la direction de Maurice Nivat / Grenoble : Atelier national de reproduction des thèses , 1987

Résumé / Abstract : 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