(LOTOS) A formal speCifiCation language based on temporal ordering used for protoCol speCfiCation in ISOOSIstandards. It is 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 eds, N-H 1989]. (1995-03-18)