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: PublishedPublication date: 2001-08Stage: International Standard confirmed [90.93]
-
Edition: 1Number of pages: 187
-
Technical Committee :ISO/IEC JTC 1/SC 7
- RSS updates