ISO/IEC JTC 1/SC 7
| Project No. | ISO/IEC 15437:2001 |
|---|---|
| Title | <p>This International Standard defines the syntax and semantics of the enhanced LOTOS language (ISO 8807),</p> <p>named E-LOTOS. E-LOTOS is used for the formal description of the behavioural aspects of distributed and</p> <p>concurrent systems in general and in the area of open distributed processing in particular.</p> |
| Registration number (WIID) | 27680 |
| Scope | <p>This International Standard defines the syntax and semantics of the enhanced LOTOS language (ISO 8807),</p> <p>named E-LOTOS. E-LOTOS is used for the formal description of the behavioural aspects of distributed and</p> <p>concurrent systems in general and in the area of open distributed processing in particular.</p> |
| Status | Standarts spēkā |
| ICS group | 35.060 35.080 |