Valid formulas, games and network protocols
Logic in Computer Science
2007-11-14 v2
Abstract
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.
Cite
@article{arxiv.0708.1480,
title = {Valid formulas, games and network protocols},
author = {Jean-Louis Krivine and Yves Legrandgérard},
journal= {arXiv preprint arXiv:0708.1480},
year = {2007}
}
Comments
12 pages