Tech PDF

AS-NZS

AS/NZS ISO/IEC 15437:2003

Click here to purchase
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:
01/01/2003
ISBN(s):
0733752845
Number of Pages:
187
File Size:
1 file , 1.2 MB
Product Code(s):
10149151, 10149195, 10149169
AS-NZS

AS/NZS ISO/IEC 15437-2003

Click here to purchase
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:
01/01/2003
ISBN(s):
0733752845
Number of Pages:
187
File Size:
1 file , 1.2 MB
Product Code(s):
10149151, 10149195, 10149169