CSA ISO/IEC 15437
Information technology - Enhancements to LOTOS (E-LOTOS)
active, Most Current
Buy Now
| Organization: | CSA |
| Publication Date: | 1 December 2002 |
| Status: | active |
| Page Count: | 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.
Document History
CSA ISO/IEC 15437
December 1, 2002
Information technology - Enhancements to LOTOS (E-LOTOS)
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...
December 1, 2002
Information technology - Enhancements to LOTOS (E-LOTOS)
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...