SODA

Implementing LOTOS as asynchronously Communicating Processes

Sjödin, Peter (1990) Implementing LOTOS as asynchronously Communicating Processes. [SICS Report]

[img]
Preview
PDF
2442Kb

Abstract

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.
ID Code:2092
Deposited By:Vicki Carleson
Deposited On:22 Oct 2009
Last Modified:18 Nov 2009 15:59

Repository Staff Only: item control page