Language Of Temporal Ordering Specification
<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
|
