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.