Tugurium/GTI

Glosario Terminología Informática

Language of Temporal Ordering Specification

0 LOTOS
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.
2019-01-11