Abstract FR:

Les algorithmes distribues constituent les composantes de base des applications et systemes repartis: ils sont formes d'un reseau de processus communiquant par messages. L'elaboration d'un calcul distribue necessite generalement la mise a la disposition de chacun des processus des protocoles d'acquisition d'informations qu'ont les autres processus. Pour reduire le nombre de messages echanges, on introduit le concept de controle de transferts d'information, mis en oeuvre avec des techniques de parcours. Il est applique aux problemes de detection d'un interblocage et d'election d'un processus dans un reseau quelconque, dans les systemes distribues. Les algorithmes proposes sont specifies dans le langage estelle et valides en utilisant l'outil veda