AS/NZS ISO/IEC 15437:2003

AS/NZS ISO/IEC 15437:2003 Information technology - Open distributed processing - Enhancements to LOTOS (E-LOTOS)
standard by Australian/New Zealand Standards, 01/01/2003

More info

Full Description

Defines the syntax and semantics of the enhanced LOTOS language, named E-LOTOS. E-LOTOS is used for the formal descritpion of the behavioural aspects of distributed and concurrent systems in general and in the area of open distributed processing in particular.