Sjödin, Peter

RISE, Swedish ICT, SICS.

1990 (English)Report (Refereed)

Abstract [en]

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.