Language Of Temporal Ordering Specification from FOLDOC

Language Of Temporal Ordering Specification

(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].

Last updated: 1995-03-18

Nearby terms:

Language Of Temporal Ordering Specification ♦ Language Sensitive Editor

Try this search on Wikipedia, Wiktionary, Google, OneLook.