CAN/CSA-ISO/IEC 15437:02 (R2011)
This National Standard of Canada is equivalent to International Standard ISO/IEC 15437:2001 (first edition, 2001-08-15).
1 Scope
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:
CSA
Langue:
English
Code(s) de l'ICS:
35.060;
35.100.01;
35.080
Statut:
Norme
Date de Publication:
2002-11-30
Numéro Standard:
CAN/CSA-ISO/IEC 15437:02 (R2011)