Language of Temporal Ordering Specifications (LOTOS)
(last updated: 16-May-2015 09:31)
ISO Standard
-
ISO 8807 (1988)
Information Processing Systems - Open System Interconnection - LOTOS - A
Formal Description Technique Based On the Temporal Ordering of
Observational Behavior.
Books
-
LOTOSphere: Software Development with LOTOS; edited by Tommaso
Bolognesi, Jeroen van de Lagemaat, and Chris Vissers;
Kluwer Academic Publishers, 1995.
-
Principles of Protocol Engineering and Conformance Testing;
Behcet Sarikaya; Ellis Horwood, 1993.
-
Using Formal Description Techniques - An Introduction to Estelle, LOTOS and
SDL; K.J. Turner (editor); John Wiley & Sons, 1992.
Periodical Articles
-
"Developing Communication Systems from Formal Specifications",
EC 64:4 1990 pgs 313-320.
-
"Specifying Telephone Systems in LOTOS", ICM 31:8 Aug 1993 pgs 38-45.