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.

OEN:

ISO

Langue:

English

Code(s) de l'ICS:

35.060; 35.080

Statut:

Publié

Date de Publication:

2001-09-05

Numéro Standard:

ISO/IEC 15437:2001