Tags: Programming Language.

Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering 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 1989 and it was published as ISO 8807 in 1990.

Loading...

This page contains content from the copyrighted Wikipedia article "Language Of Temporal Ordering Specification"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.