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.
Status: PublishedPublication date: 2001-08
Edition: 1Number of pages: 187
Technical Committee: ISO/IEC JTC 1/SC 7 Software and systems engineering
This standard contributes to the following Sustainable Development Goal:
Buy this standard
|std 1 208|
|std 2 208||Paper|
A standard is reviewed every 5 years
Stage: 90.93 (Confirmed)
Got a question?
Check out our FAQs
+41 22 749 08 88
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.