Esta norma internacional define la sintaxis y la semántica del lenguaje LOTOS mejorado (ISO 8807), denominado E-LOTOS. E-LOTOS se utiliza para la descripción formal de los aspectos de comportamiento de sistemas distribuidos y concurrentes en general y en el área del procesamiento distribuido abierto en particular.
CAN/CSA-ISO/IEC 15437-2002 Historia
2003CAN/CSA-ISO/IEC 15437-2002 Tecnología de la información: mejoras a LOTOS (E-LOTOS) (Adoptada ISO/IEC 15437:2001, primera edición, 2001-08-15)