Language Of Temporal Ordering Specification definition
<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)
Nearby terms:
Language for the On-Line Investigation and Transformation of Abstractions « Language H « language lawyer « Language Of Temporal Ordering Specification » Language Sensitive Editor » language-sensitive editor » languages of choice