ISO/IEC 15437:2001
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.
OEN:
IEC
Langue:
English
Code(s) de l'ICS:
35.060;
35.080
Statut:
Publié
Date de Publication:
2001-09-05
Numéro Standard:
ISO/IEC 15437:2001