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 : mardi 11 octobre 2016 - 13:58:12
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

125

Téléchargements du document

39