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