Valid formulas, games and network protocols

Abstract : We describe a remarkable relation between the notion of valid formula of predicate logic and the specification of network protocols. We give several examples such as the acknowledgement of one packet or of a sequence of packets. We show how to specify the composition of protocols.
Type de document :
Pré-publication, Document de travail
12 pages. 2007
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00166880
Contributeur : Jean-Louis Krivine <>
Soumis le : mercredi 14 novembre 2007 - 20:35:06
Dernière modification le : mardi 11 octobre 2016 - 13:58:12
Document(s) archivé(s) le : mardi 21 septembre 2010 - 15:16:37

Fichiers

Network_eng.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00166880, version 2
  • ARXIV : 0708.1480

Collections

PPS | USPC

Citation

Jean-Louis Krivine, Yves Legrandgérard. Valid formulas, games and network protocols. 12 pages. 2007. 〈hal-00166880v2〉

Partager

Métriques

Consultations de
la notice

113

Téléchargements du document

37