摘要
通讯系统的微分算子CCS (CalculusofCommuni catingSystems)是由英国爱丁堡大学计算机科学系的RobinMilner首先提出的。CCS是一个在数学上完整的理论算子系统 ,可以作为计算机通讯系统的基本理论模型。我们先简要说明一下CCS的内容。我们所作的工作是在理论上扩充他的CCS ,使得我们的CCS更为一般化。在我们的观点看来 ,RobinMilber的CCS只不过是我们的CCS的一个特例而已。但我们还是称他的CCS为“PureCCS” ,而把我们的CCS称为“ExtendedCCS” 。
Robin Milner constructed a CCS (Calculus of Communicating Systems). He is a professor in department of computer science, University of Edinburg. CCS is one of the theory models in computer science. We now extend his system. As a result, his system is a particular one of ours. All his notions, propositions, proofs will be re-written by us. We call Robin's CCS just CCS, or pure CCS. Our CCS can be called extended CCS.
出处
《微机发展》
2000年第4期46-50,共5页
Microcomputer Development
关键词
微分算子
代理表达式
计算机通讯系统
CCS
Prefix
Action
Port
Channel name
Transition
Synchronization
Agent
Agent expression
rules
Combinator
Complement
Equivalence
Strong Bisimulation
Derivation
