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.
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
