Valid formulas, games and network protocols
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2007
- DOI:
- 10.48550/arXiv.0708.1480
- arXiv:
- arXiv:0708.1480
- Bibcode:
- 2007arXiv0708.1480K
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- 12 pages