Abstract FR:

Contribution a l'etude des algorithmes repartis. Dans une premiere partie, une famille de protocoles de cooperation entre des producteurs et un consommateur est construite. Une deuxieme partie presente la construction par assemblage de modules d'un nouvel algorithme d'exclusion mutuelle, capable de fonctionner dans un reseau a topologie quelconque. Une troisieme partie decrit un algorithme generique nouveau qui permet de detecter l'apparition de proprietes reparties stables d'une certaine classe