A Mathematical Characterization of System Design and Modeling

	A Mathematical Characterization of System Design and Modeling
	Zhao, XB; He, AP; Wu, JZ; Yang, GW; Yang, Y; Zhou, N; Yong, SH; Li, L
刊名	APPLIED MATHEMATICS & INFORMATION SCIENCES
	2012-05
卷号	6 期号:2 页码:345-356
关键词	Denotational semantics Operational semantics Bi-simulation Process algebra Timed stable event structure
ISSN号	1935-0090
通讯作者	Zhao, XB (reprint author), Tsinghua Univ, Minist Educ, Sch Software, Key Lab Informat Syst Secur, Beijing, Peoples R China.
学科主题	Mathematics; Physics
出版地	KALAMAZOO
语种	英语
WOS记录号	WOS:000303178900024
内容类型	期刊论文
源URL	[http://ir.lzu.edu.cn/handle/262010/116208]
专题	信息科学与工程学院_期刊论文
推荐引用方式 GB/T 7714	Zhao, XB,He, AP,Wu, JZ,et al. A Mathematical Characterization of System Design and Modeling[J]. APPLIED MATHEMATICS & INFORMATION SCIENCES,2012,6(2):345-356.
APA	Zhao, XB.,He, AP.,Wu, JZ.,Yang, GW.,Yang, Y.,...&Li, L.(2012).A Mathematical Characterization of System Design and Modeling.APPLIED MATHEMATICS & INFORMATION SCIENCES,6(2),345-356.
MLA	Zhao, XB,et al."A Mathematical Characterization of System Design and Modeling".APPLIED MATHEMATICS & INFORMATION SCIENCES 6.2(2012):345-356.