Abstract FR:

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