Reference number
ISO/IEC 15437:2001
© ISO 2025
International Standard
ISO/IEC 15437:2001
Information technology — Enhancements to LOTOS (E-LOTOS)
Edition 1
2001-08
Read sample
Published (Edition 1, 2001)
This publication was last reviewed and confirmed in 2008. Therefore this version remains current.

ISO/IEC 15437:2001

Language
Format
CHF 221
Convert Swiss francs (CHF) to your currency

Abstract

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.

General information

  • Status
     : Published
    Publication date
     : 2001-08
    Stage
    : International Standard confirmed [90.93]
  • Edition
     : 1
    Number of pages
     : 187
  • Technical Committee :
    ISO/IEC JTC 1/SC 7
    ICS :
    35.060  35.080 
  • RSS updates

Life cycle

Sustainable Development Goals

This standard contributes to the following Sustainable Development Goal

9
Industry, Innovation and Infrastructure

Got a question?

Check out our Help and Support

  2. Store
  3. Store
  4. TC
  5. ISO/IEC JTC 1/SC 7
  6. ISO/IEC 15437:2001