Formules valides, jeux et protocoles réseau

Résumé : 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.
Type de document :
Pré-publication, Document de travail
12 pages. 2007
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00164295
Contributeur : Jean-Louis Krivine <>
Soumis le : jeudi 15 novembre 2007 - 10:16:53
Dernière modification le : jeudi 11 janvier 2018 - 06:17:48
Document(s) archivé(s) le : mardi 21 septembre 2010 - 15:17:42

Fichier

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

Identifiants

  • HAL Id : hal-00164295, version 2

Collections

PPS | USPC

Citation

Jean-Louis Krivine, Yves Legrandgérard. Formules valides, jeux et protocoles réseau. 12 pages. 2007. 〈hal-00164295v2〉

Partager

Métriques

Consultations de la notice

129

Téléchargements de fichiers

45