Nguage> (LOTOS) A formal specificatioN laNguage based oN temporal orderiNg used for protocol specficatioN iNISOOSIstaNdards. 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)