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.
See also
References
- The Formal Description Technique LOTOS, P.H.J. van Eijk et al., editors, N-H, 1989.
External links