UNLIMITED FREE
ACCESS
TO THE WORLD'S BEST IDEAS

SUBMIT
Already a GlobalSpec user? Log in.

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Customize Your GlobalSpec Experience

Finish!
Privacy Policy

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

NEN-ISO/IEC 15437

Information technology - Enhancements to LOTOS (E-LOTOS)

active, Most Current
Organization: NEN
Publication Date: 1 October 2001
Status: active
Page Count: 202
ICS Code (Languages used in information technology): 35.060
ICS Code (Software): 35.080
scope:

Defines the syntax and semantics of the enhanced LOTOS language 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

NEN-ISO/IEC 15437
October 1, 2001
Information technology - Enhancements to LOTOS (E-LOTOS)
Defines the syntax and semantics of the enhanced LOTOS language named E-LOTOS. E-LOTOS is used for the formal description of the behavioural aspects of distributed and concurrent systems in general...
Advertisement