A New Dynamic Semantic Model of SDL

NI Zhao, WANG Ying, HUANG Jie, AI Bo

School of Computer Science and Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China

CLC Number:

NI Zhao, WANG Ying, HUANG Jie, AI Bo. A New Dynamic Semantic Model of SDL[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2000, 23(1): 41-45.

[1]	. Travel recognition method for fixed point trajectory data [J]. , 2020, 43(4): 39-47.
[2]	XIAO Fu, YANG Xie-kun, SUN Li-juan, WANG Ru-chuan, TANG Xiao-xuan. Node Selection Approach for Data Compression in Wireless Multimedia Sensor Networks [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2016, 39(2): 15-19.
[3]	WANG Ying, AI Bo. Formal Semantics for SDL-2000 [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2001, 24(4): 58-61.

PDF