ISO International Standard

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.

Purchase ISO Standard


Share this Standard