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.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...