Language Of Temporal Ordering Specification

language (LOTOS) A formal specification language based on

temporal ordering used for protocol specfication in ISO

OSI standards. 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)