2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/141985We 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 pagesLogic in Computer Sciencetext