Formal Semantics for SDL-2000

WANG Ying, AI Bo

Computer Science and Application School, Beijing University of Postsand Telecommunications, Beijing 100876, China

CLC Number:

WANG Ying, AI Bo. Formal Semantics for SDL-2000[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2001, 24(4): 58-61.

[1]	HUANG Yong-ming, LU Ying-hua, XU Li, FENG Xiao-jun, ZHANG Hong-xin. An Improved Hybrid Method for Modeling Indoor Radio Propagation [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2004, 27(1): 13-17.
[2]	LI Chuan-jun, LI Shu-fang, GAO You-gang. Analysis and Comparison of the Different Source #br# Location Point's Thin-wire Dipole Antenna [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2002, 25(2): 38-41.
[3]	WEN Xiang-ming, YIN Han, ZHU Xiang-hua. The Research and Application Design of SDL Protocol [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2001, 24(3): 74-79.
[4]	CHENG Zhen-jie, YU Chong-xiu, XU Da-xiong. Numerical Simulation of Intraband Crosstalk in OADM [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2000, 23(4): 1-5.

PDF