Abstract FR:

Prevention de la modelisation des protocoles de communication et des references d'observation. Deux exemples sont fournis: une etude des mecanismes de controle de flux dans les protocoles de transfert de donnees et une etude d'un protocole simple pour l'obtention d'un modele de reference