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.

Product Details

Published: 01/01/2003File Size: 1 file , 1.2 MB