ISO/IEC 15437:2001

Information technology — Enhancements to 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.

Edition	2001
Published Date	2001
Published By	International Standardization Organisation /International Electrotechnical Commission
Page Count	187