An Axiomatic Description of the Transport Protocol of Cyclades

A problem of representation arises at each of the major development phases of a protocol: definition and testing of the definition, implementation and testing of the implementation, documentation of an implemented protocol.