CAN/CSA-ISO/IEC 15437-02 (R2011):2002 Edition
$59.15
Information Technology – Enhancements to LOTOS (E-LOTOS)
Published By | Publication Date | Number of Pages |
CSA | 2002 | 204 |
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.