(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)