Approach to define the dynamic semantics of SDL-2000
Zhao Yu · Journal of Changchun Post and Telecommunication Institute · 2002
The formal method that defines the dynamic semantics of SDL (Specification and Description Language) by means of distributed real time Abstrethod, which is based on CSP (Communicating Sequential Processes), this method defines the semantics of SDL more directly and thus can be understood and maintained easily.