Showing papers on "Packet loss published in 1978"

TL;DR: In this article, a finite state model for the specification and validation of communication protocols is considered, and the concept of direct coupling between interactiing finite state components is used to describe a hierarchical structure of protocol layers.

TL;DR: Timmer-based protocol mechanisms are developed for reliable and efficient transmission of both single-message and message-stream traffic so that correct data delivery is assured in the face of lost, damaged, duplicate, and out-of-sequence packets.