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.
Read sample
Preview this standard in our Online Browsing Platform (OBP)
General information
-
Status: PublishedPublication date: 2001-08Stage: International Standard confirmed [90.93]
-
Edition: 1Number of pages: 187
-
Technical Committee :ISO/IEC JTC 1/SC 7
- RSS updates
Life cycle
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)