
Information technology - Enhancements to LOTOS (E-LOTOS)
NORMA vydaná dňa 6.9.2001
Designation standards: ISO/IEC 15437-ed.1.0
Publication date standards: 6.9.2001
The number of pages: 187
Approximate weight : 592 g (1.31 lbs)
Country: International technical standard
Kategória: 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.