Abstract FR:

La notion de guidage est developpee; celui qui peut etre mis en oeuvre independamment du protocole traite et qui consiste a reduire statiquement l'espace d'etats du protocole et, par opposition, celui qui est dependant du protocole. Le guidage dependant du protocole est lui meme divisible suivant qu'il est intra-protocole et extra-protocole. L'etude a ete realisee dans le cadre du guidage dependant extra-protocole. La technique du guidage a ete appliquee au cours de la simulation d'un algorithme distribue de detection de terminaison de processus et pour deux protocoles (connection less network protocol et t70)