Language Of Temporal Ordering Specification
Este artículo o sección necesita referencias que aparezcan en una publicación acreditada.
Busca fuentes: «Language Of Temporal Ordering Specification» – noticias · libros · académico · imágenesEste aviso fue puesto el 19 de mayo de 2017.
Language Of Temporal Ordering Specification (en español: Lenguaje de Especificación Ordenante Temporal) es un lenguaje de especificación formal basado en la ordenación temporal de los eventos. LOTOS se usa para especificación de protocolo en estándares ISO OSI.
LOTOS es un lenguaje algebraico que consta de dos partes: una parte 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.
El trabajo en el estándar se completó en 1988, y fue publicado como ISO 8807 en 1989. Entre 1993 y 2001, un comité de ISO trabajó para definir una versión revisada del estándar LOTOS, que fue publicado en 2001 como E-LOTOS.
| Control de autoridades |
|
|---|
Datos: Q1805432
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
