 |
|
|
|
| HAL : hal-00164295, version 2 |
| Fiche détaillée |  Récupérer au format |
|
|
| Versions disponibles : | v1 (20-07-2007) | v2 (15-11-2007) |
|
|
|
|
| Formules valides, jeux et protocoles réseau |
|
|
| Jean-Louis Krivine 1Yves Legrandgérard 1 |
|
|
| (19/07/2007) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris-Diderot - Paris VII |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
|
|
| formule valide – protocole réseau |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00164295, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00164295/fr/ | |
| oai:hal.archives-ouvertes.fr:hal-00164295_v2 | |
| Contributeur : Jean-Louis Krivine | |
| Soumis le : Jeudi 15 Novembre 2007, 10:16:53 | |
| Dernière modification le : Jeudi 15 Novembre 2007, 10:19:45 | |
