Buy this standard

Abstract Preview

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
  • Edition : 1
    Number of pages : 187
  • Technical Committee
    :
    ISO/IEC JTC 1/SC 7
    Software and systems engineering
  • ICS :
    35.060
    Languages used in information technology
    35.080
    Software

Buy this standard

Format Language
PDF
Paper
  • CHF198

Life cycle

A standard is reviewed every 5 years



Revisions / Corrigenda

  • Now confirmed
    ISO/IEC 15437:2001

Got a question?

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)

Keep up to date with ISO

Sign up to our newsletter for the latest news, views and product information.

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