(LOTOS) A formal Specification language baSed on temporal ordering uSed for protocolSpecfication 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)