
Information technology - Enhancements to LOTOS (E-LOTOS)
NORMA vydána dne 6.9.2001
Označení normy: ISO/IEC 15437-ed.1.0
Datum vydání normy: 6.9.2001
Počet stran: 187
Přibližná hmotnost: 592 g (1.31 liber)
Země: Mezinárodní technická norma
Kategorie: Technické normy ISO
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.