Sjödin, Peter (1990) Implementing LOTOS as asynchronously Communicating Processes. [SICS Report]
A technique is presented for translating LOTOS specifications into implementations executing as asynchronously communicating processes. This generation of implementations is described as transformations of LOTOS expressions. A protocol for implementing LOTOS synchronisation is described.
|Item Type:||SICS Report|
|Additional Information:||Original report number R90014.|
|Deposited By:||Vicki Carleson|
|Deposited On:||22 Oct 2009|
|Last Modified:||18 Nov 2009 15:59|
Repository Staff Only: item control page