Approach to define the dynamic semantics of SDL-2000

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.