Language of Temporal Ordering Specification

LOTOS is fully described in [Ref]. It is based on Milner's Communicating Concurrent Systems. Here we give some examples of use for specifying some commonly found functions of protocols.