ISO/IEC 15437:2001

This standard was last reviewed and confirmed in 2008. Therefore this version remains current.

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.

This standard contributes to the following Sustainable Development Goal:

	Format	Language
std 1 208	PDF
std 2 208	Paper

Check out our FAQs

Customer care

+41 22 749 08 88

Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)