Language Of Temporal Ordering Specification
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.
- ISO/IEC international standard 8807:1989. Information Processing Systems - Open Systems Interconnection - LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. Geneva, September 1989.
- The Formal Description Technique LOTOS, P.H.J. van Eijk et al., editors, North-Holland, 1989.
- LOTOSphere: Software Development with LOTOS, Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris Vissers, editors, Kluwer Academic Publishers, 1995.
- World-wide Environment for Learning LOTOS (WELL)
- Tutorials for LOTOS (see section 3)
- LOTOS in the RKBExplorer