版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构: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.