Formules valides, jeux et protocoles réseau - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2007

Formules valides, jeux et protocoles réseau

Jean-Louis Krivine
  • Function : Author
  • PersonId : 840657
Yves Legrandgérard
  • Function : Author
  • PersonId : 841587

Abstract

On décrit une relation remarquable entre la notion de formule valide du calcul des prédicats et la spécification de protocoles réseau. On donne des exemples comme l'acquittement d'un ou plusieurs paquets. On montre comment, par cette méthode, il est possible de spécifier la composition de protocoles.
Fichier principal
Vignette du fichier
Network.pdf (137.16 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00164295 , version 1 (20-07-2007)
hal-00164295 , version 2 (15-11-2007)

Identifiers

  • HAL Id : hal-00164295 , version 2

Cite

Jean-Louis Krivine, Yves Legrandgérard. Formules valides, jeux et protocoles réseau. 2007. ⟨hal-00164295v2⟩
121 View
66 Download

Share

Gmail Facebook X LinkedIn More