Contribution à l'étude des systèmes communicants et des algorithmes d'exclusion mutuelle / Alain Griffault ; sous la direction de André Arnold

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Arnold, André (1945-....) (Directeur de thèse / thesis advisor)

Université Bordeaux-I (1971-2013) (Organisme de soutenance / degree-grantor)

Relation : Contribution à l'étude des systèmes communicants et des algorithmes d'exclusion mutuelle / Alain Griffault / Grenoble : Atelier national de reproduction des thèses , 1989

Résumé / Abstract : ETUDE DES SYSTEMES DE PROCESSUS DANS LE MODELE ARNOLD-NIVAT. LES PROBLEMES ABORDES SONT CEUX DE LA PREVENTION DU BLOCAGE DE LA PERMUTATION DES ACTIONS ET DES PREUVES FORMELLES D'ALGORITHMES PARALLELES. DANS UNE SECONDE PARTIE EST TRAITE LE PROBLEME DE L'EXCLUSION MUTUELLE. UNE ETUDE DE DIFFERENTS ALGORITHMES EXISTANTS EST SUIVIE PAR LA DONNEE DE DEUX NOUVELLES SOLUTIONS ET PAR LA CORRECTION DE CELLE DE J.E. BURNS