Language of Temporal Ordering Specification
Lenguaje de especificación formal basado en el ordenamiento temporal de sucesos, utilizado para la especificación de protocolos en las normas ISO OSI. Consta de dos partes: una para la descripción de datos y operaciones, basada en tipos abstractos de datos; y otra para la descripción de procesos concurrentes, basados en cálculo de procesos.
Se publicó como ISO 8807 en 1990.