NEN-ISO/IEC 15437
Information technology - Enhancements to LOTOS (E-LOTOS)
active, Most Current
| Organization: | NEN |
| Publication Date: | 1 October 2001 |
| Status: | active |
| Page Count: | 202 |
| ICS Code (Languages used in information technology): | 35.060 |
| ICS Code (Software): | 35.080 |
scope:
Defines the syntax and semantics of the enhanced LOTOS language 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.
Document History
NEN-ISO/IEC 15437
October 1, 2001
Information technology - Enhancements to LOTOS (E-LOTOS)
Defines the syntax and semantics of the enhanced LOTOS language named E-LOTOS. E-LOTOS is used for the formal description of the behavioural aspects of distributed and concurrent systems in general...