标准摘要
[中文适用范围]： 该国际标准定义了增强型 LOTOS 语言 (ISO 8807) 的语法和语义，称为 E-LOTOS。 E-LOTOS 通常用于分布式和并发系统的行为方面的正式描述，特别是在开放式分布式处理领域。 [外文原描述]： This International Standard defines the syntax and semantics of the enhanced LOTOS language (ISO 8807), named E-LOTOS. E-LOTOS is used for the formal description of the behavioural aspects of distributed and concurrent systems in general and in the area of open distributed processing in particular.
英文名称Information technology - Enhancements to LOTOS (E-LOTOS)