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

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

• Auteur / Autrice : Alain Griffault
• Direction : André Arnold
• Type : Thèse de doctorat
• Discipline(s) : Sciences
• Date : Soutenance en 1989
• Etablissement(s) : Bordeaux 1

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