90.93 Standard confirmed Jul 29, 2008
ISO/IEC
ISO/IEC JTC 1/SC 7 Software and systems engineering
International Standard
35.060 Languages used in information technology | 35.080 Software
Published
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.
PUBLISHED
ISO/IEC 15437:2001
90.93
Standard confirmed
Jul 29, 2008