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:Software and systems engineering
Buy this standard