AS/NZS ISO/IEC 15437:2003 (R2014)
$76.70
Information technology – Open distributed processing – Enhancements to LOTOS (E-LOTOS)
| Published By | Publication Date | Number of Pages |
| AS | 2003-06-04 | 205 |
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.
Scope
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.
Related products
-
IEEE 802.3-2018(Redline)
IEEE Standard for Ethernet (Redline) Published By Publication Date Number of Pages IEEE 2018
-
ASHRAE Fundamentals Handbook IP 2013
2013 ASHRAE Handbook – Fundamentals – IP Edition Published By Publication Date Number of Pages…
-
IEEE ISO IEC 8802 3 2014
ISO/IEC/IEEE International Standard for Ethernet Published By Publication Date Number of Pages IEEE 2014 3754
-
IEEE 802.3 2018
IEEE Standard for Ethernet Published By Publication Date Number of Pages IEEE 2018
-
IEEE 802.3-2022(Redline)
IEEE Standard for Ethernet (Redline) Published By Publication Date Number of Pages IEEE 2022
-
IEEE 802.3-2022
IEEE Standard for Ethernet Published By Publication Date Number of Pages IEEE 2022 7025
-
IEEE 802.3-2022(Redline)
IEEE Standard for Ethernet (Redline) Published By Publication Date Number of Pages IEEE 2022 7025
-
IEEE 802.3-2008
IEEE Standard for Information technology–Telecommunications and information exchange between systems–Local and metropolitan area networks–Specific requirements…
-
BSI PD CEN/TR 17868:2022
Intelligent transport systems. EU-ICIP. ITS standards deliverables (2022) Published By Publication Date Number of Pages…
-
ASCE 9780784411735 2011
World Environmental and Water Resources Congress 2011 Published By Publication Date Number of Pages ASCE…
-
IEEE 802.3-2022(Redline)
IEEE Standard for Ethernet (Redline) Published By Publication Date Number of Pages IEEE 2022 7025
-
IEEE 802.3-2022
IEEE Standard for Ethernet Published By Publication Date Number of Pages IEEE 2022
-
BS ISO/IEC/IEEE 8802-11:2022
Telecommunications and information exchange between systems. Specific requirements for local and metropolitan area networks –…
-
IEEE 802.3-2018
IEEE Standard for Ethernet (Superseded Redline) Published By Publication Date Number of Pages IEEE 2018…
-
IEEE 8802-3-2014
ISO/IEC/IEEE International Standard for Ethernet Published By Publication Date Number of Pages IEEE 2014 3754
-
IEEE 802.3-2005
IEEE Standard for Information Technology – Telecommunications and Information Exchange Between Systems – Local and…
-
IEEE 8802-3-2014
ISO/IEC/IEEE International Standard for Ethernet Published By Publication Date Number of Pages IEEE 2014 3754
-
IEEE 802.3-2018
IEEE Standard for Ethernet (Superseded Redline) Published By Publication Date Number of Pages IEEE 2018
-
IEEE 802.3-2022
IEEE Standard for Ethernet Published By Publication Date Number of Pages IEEE 2022
