Language of Temporal Ordering Specifications (LOTOS)

(last updated: 16-May-2015 09:31)
 

ISO Standard

  1. ISO 8807 (1988)
    Information Processing Systems - Open System Interconnection - LOTOS - A Formal Description Technique Based On the Temporal Ordering of Observational Behavior.

Books

  1. LOTOSphere: Software Development with LOTOS; edited by Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris Vissers; Kluwer Academic Publishers, 1995.
     
  2. Principles of Protocol Engineering and Conformance Testing; Behcet Sarikaya; Ellis Horwood, 1993.
     
  3. Using Formal Description Techniques - An Introduction to Estelle, LOTOS and SDL; K.J. Turner (editor); John Wiley & Sons, 1992.

Periodical Articles

  1. "Developing Communication Systems from Formal Specifications", EC 64:4 1990 pgs 313-320.
     
  2. "Specifying Telephone Systems in LOTOS", ICM 31:8 Aug 1993 pgs 38-45.