ISO/IEC 15437:2001

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 distributed and concurrent systems in general and in the area of open distributed processing in particular.

SDO:

IEC

Language:

English

ICS Codes:

35.060; 35.080

Status:

Published

Publish date:

2001-09-05

Standard Number:

ISO/IEC 15437:2001