Description
AS/NZS ISO/IEC 15437 – Information technology – Open distributed processing -Enhancements to LOTOS (E-LOTOS)
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.
Product Details
- Edition:
- 1st
- Published:
- 06/04/2003
- ISBN(s):
- 0733752845
- Number of Pages:
- 187
- File Size:
- 1 file , 1.2 MB
- Product Code(s):
- 10149151, 10149195, 10149169
- Note:
- This product is unavailable in Ukraine, Russia, Belarus
