Protocol specification

Definition
A protocol specification defines the syntax, semantics, and synchronization of a protocol.