咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Topology,randomness and noise ... 收藏

Topology,randomness and noise in process calculus

拓扑学,随意;在过程演算的噪音

作     者:YING Mingsheng 

作者机构:State Key Laboratory of Intelligent Technology and SystemsDepartment of Computer Science and TechnologyTsinghua UniversityBeijing 100084China 

出 版 物:《Frontiers of Electrical and Electronic Engineering in China》 (中国电气与电子工程前沿(英文版))

年 卷 期:2007年第2卷第2期

页      面:127-131页

学科分类:07[理学] 0701[理学-数学] 070101[理学-基础数学] 

基  金:supported by the National Natural Science Foundation of China(Grant No.60621062) 

主  题:communicating and concurrent systems process calculus topology randomness noise 

摘      要:Formal models of communicating and concurrent systems are one of the most important topics in formal methods,and process calculus is one of the most successful formal models of communicating and concurrent *** the previous works,the author systematically studied topology in process calculus,probabilistic process calculus and pi-calculus with noisy channels in order to describe approximate behaviors of communicating and concurrent systems as well as randomness and noise in *** article is a brief survey of these works.

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分