Language Of Temporal Ordering Specification
(LOTOS) is a formal specification language
based on temporal
ordering used for protocol specification
in ISO OSI standards
. It was published as ISO 8807 in 1990
and describes the order in which events occur.
- The Formal Description Technique LOTOS, P.H.J. van Eijk et al., editors, N-H, 1989.