ISO/IEC 15437:2001
Information technology - Enhancements to LOTOS (E-LOTOS)
Ausgabedatum:
2001-09
Edition:
1.0
Sprache: EN - englisch
Seitenzahl: 187 VDE-Artnr.: 215266
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.