Valid formulas, games and network protocols
JL Krivine, Y Legrandgérard - arXiv preprint arXiv:0708.1480, 2007 - arxiv.org
JL Krivine, Y Legrandgérard
arXiv preprint arXiv:0708.1480, 2007•arxiv.orgWe 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.
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.
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.
arxiv.org
Showing the best result for this search. See all results