一个扩展的CCS(英文)

通讯系统的微分算子CCS (CalculusofCommuni catingSystems)是由英国爱丁堡大学计算机科学系的RobinMilner首先提出的。CCS是一个在数学上完整的理论算子系统 ,可以作为计算机通讯系统的基本理论模型。我们先简要说明一下CCS的内容。我们所作的工作是在理论上扩充他的CCS ,使得我们的CCS更为一般化。在我们的观点看来 ,RobinMilber的CCS只不过是我们的CCS的一个特例而已。但我们还是称他的CCS为“PureCCS” ,而把我们的CCS称为“ExtendedCCS” 。