Valid formulas, games and network protocols

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
12 pages

Keywords

Logic in Computer Science

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/141985

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0708.1480
 http://arxiv.org/abs/0708.1480

Collections

arXiv