Email this page to a friend

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

< Previous Terms	Terms Containing Language Of Temporal Ordering Specification	Next Terms >
language-based editor Language for Communicating Systems Language for the On-Line Investigation and Transfo Language H language lawyer	LOTOS	Language Sensitive Editor language-sensitive editor languages of choice Laning and Zierler LANL