next up previous

Final Report of the COST-247 Action

An implementation of SDL 92 synchronization semantics

Vladimir Levin, Husnu Yenigun and Kemal Inan

Electrical & Electronics Engineering Department
Middle East Technical University
Ankara 06531, Turkey
e-mail :
tel : +90-312-2101298 and +90-312-2102324
fax : +90-312-2101411 and +90-312-2101261


SDL semantics has nontrivial communication semantics in which target addressing and process spawning necessitates conceptualization of a communication network that matches the semantical requirements of SDL in implementation. We present the features of this underlying communication semantics.

This presentation has been given during the COST-247 4th Management Committee Meeting (Berlin, Germany, February 9--10, 1995).

COST-247 Working Group(s): 4

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page