Contribution à l'étude des systèmes communicants et des algorithmes d'exclusion mutuelle

par Alain Griffault

Thèse de doctorat en Sciences

Sous la direction de André Arnold.

Soutenue en 1989

à Bordeaux 1 .

    mots clés mots clés


  • Résumé

    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

  • Titre traduit

    Contribution to the study of communicating systems and of mutual exclusion algorithms


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : x, 184 p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FT 89.B-288
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 89.B-288
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.