Powered by
TTSReader
Share this page on
Article provided by Wikipedia


( => ( => ( => Language Of Temporal Ordering Specification [pageid] => 1117722 ) =>

Language Of Temporal Ordering Specification (LOTOS) is a "formal "specification language based on temporal ordering of events. LOTOS is used for "protocol "specification in "ISO "OSI "standards.

LOTOS is an algebraic language that consists of two parts: a part for the description of data and operations, based on "abstract data types, and a part for the description of concurrent processes, based on "process calculus.

Work on the standard was completed in 1988, and it was published as ISO 8807 in 1989. Between 1993 and 2001, an ISO committee worked to define a revised version of the LOTOS standard, which was published in 2001 as "E-LOTOS.

See also[edit]

References[edit]

External links[edit]

This article is based on material taken from the "Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the "GFDL, version 1.3 or later.

) )