Modeling the Handshake protocal for Asychrony

par Luca Fossati

Thèse de doctorat en Informatique

Sous la direction de Pierre-Louis Curien et de Simona Ronchi Della Rocca.

Soutenue en 2009

à Paris 7 .

  • Titre traduit

    Modeling the handshake protocol for asynchrony


  • Pas de résumé disponible.


  • Résumé

    La these étudie les protocoles de communication asynchrones. Elle se compose de deux parties. Dans la première on décrit brièvement des formalismes existants qui sont à la base de beaucoup de modèles de communication asynchrone et on introduit formellement les notions de speed-independence et delay-insensitivity. Un protocole est speed-independent s'il garantit la correction indépendamment de la vitesse de computation de chaque module. Un protocole est delay-insensitive s'il est speed-independent et il garantit la correction indépendamment des retards de propagation dans les communications. La deuxième partie contient la plupart des contributions originelles. Le but est de fournir un étude formel du protocole handshake, un protocole delay-insensitive qui fait alterner les deux partenaires dans chaque communication. D'abord on rappelle [vb:93], le seul modèle formel précédent du protocole handshake. Ensuite on montre un défaut de ce modèle, qui ne représente pas correctement la composition de systèmes. Dans notre analyse on introduit un modèle à jeux, un avec les réseaux de petri et un calcul de processus. Le modèle à jeux est un modèle à traces comme [vb:93]. La composition y est définie correctement mais certains comportements handshake ne sont pas représentés. Le modèle à réseaux de petri, qui est correct et complet par rapport à tous les comportements handshake, résolue ce problème. Enfin on propose un calcul de processus à la ccs, qui fournit une syntaxe correcte au protocole handshake. On montre aussi que l'interprétation du calcul dans les réseaux est fully abstract et telle que tout réseau fini est l'interprétation d'une configuration dans le calcul.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (141 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : 79 Réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • PEB soumis à condition
  • Cote : TS (2009) 189
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.