next up previous

Final Report of the COST-247 Action

phi-SDL as the core of SDL with a tractable semantics

Kees Middelburg

Department of Philosophy
Utrecht University
P.O.Box 80126
3508 TC Utrecht
Tel: +31 30 253 55 79
Fax: +31 30 253 28 16


A new semantics of an interesting subset of the specification language SDL is given by a translation to a discrete-time extension of process algebra in the form of ACP extended with data added as in muCRL. The strength of the chosen subset, called phiSDL, is its close connection with full SDL, despite its dramatically reduced size. Thus, we are able to concentrate on solving the basic semantic issues without being in danger of having to turn the results inside out in order to deal with full SDL. Novel to the presented semantics is that it relates the time used with timer setting to the time involved in waiting for signals and delay of signals.

This presentation has been given during the COST-247 5th Management Committee Meeting (Warsaw, Poland, June 12--13, 1995).

COST-247 Working Group(s): 4

Web Link (presented material):

Web Link:

COST-247 Working Group(s): 4

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page