Guider la simulation pour valider les protocoles

par JEAN-MARC PAGEOT

Thèse de doctorat en Informatique

Sous la direction de MICHEL RAYNAL.

Soutenue en 1989

à Rennes 1 .

    mots clés mots clés


  • Résumé

    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)


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (153 f.)
  • Annexes : 102 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1989/58
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.