ISO/IEC 15437:2001
Information technology — Enhancements to LOTOS (E-LOTOS)
OVERVIEW
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.
COMMENTS
-
PRODUCT DETAILS
| Status | Current |
|---|---|
| Edition | 2001 |
| No. of Pages | 187 |
| ICS Classification | 35.080 Software 35.060 Languages used in information technology |
| Committee | ISO/IEC JTC 1/SC 7 |
| Available for Purchase | For sale in Singapore only |
| Adoption | IEC |