Date : 1987
Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 1987
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
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