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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论