分类

通信演算系统

英文

communication calculus sys-tem

简介

简称CCS.一类逻辑模型.由美国科学家米尔纳(Milner,R.)于1980年提出的一种函数式语言.它的基本成分是项,或称动程,含自由变量的动程称动程表达式.动程的组合仍是动程,其组合深度可以是任意的.CCS也有一对通信原语,它由两组标号组成.其中一组是名字的集合,常表示为Δ={α,β,γ,…};另一组是加上横线的名字集合,常表示为Δ={αβγ,…},Δ称为输入港口集,Δ称为输出港口集,它们是互补的.动程间通信时并不指定对方动程的名字,只指定对方港口的名字,只有相同名字的输入和输出(不考虑上横线)之间才可以通信.相对说来,CCS的复合操作比较少,只有一个并行操作,相当于CSP的并发操作以及一个选择操作,相当于CSP的或进程运算,但这并不意味CCS的描述能力不如CSP强.