 |
|
|
|
| HAL : hal-00166880, version 2 |
| arXiv : 0708.1480 |
| Fiche détaillée |  Récupérer au format |
|
|
| Versions disponibles : | v1 (10-08-2007) | v2 (14-11-2007) |
|
|
|
|
| Valid formulas, games and network protocols |
|
|
| Jean-Louis Krivine 1Yves Legrandgérard 1 |
|
|
| (10/08/2007) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris-Diderot - Paris VII |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
|
|
| valid formula – game – network protocol |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00166880, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00166880/fr/ | |
| oai:hal.archives-ouvertes.fr:hal-00166880_v2 | |
| Contributeur : Jean-Louis Krivine | |
| Soumis le : Mercredi 14 Novembre 2007, 20:35:06 | |
| Dernière modification le : Mercredi 14 Novembre 2007, 21:03:35 | |
