A New Dynamic Semantic Model of SDL
Ni Zhao · Beijing Youdian Xueyuan xuebao · 2000
A proposal for a dynamic semantic model of SDL is given in terms of structural operational semantics.The transition systems for both system level and process/channel level are defined with the principle of transition rules.