CCS和CSP CCS和CSP是进程代数方法的代表，是描述通信和并发的演算 系统 口它们均以进程为计算单位，进程的基本组成是原子性动作 CCS和CSP都是既有模型又有演算，两者的不同点是： CCS用同步树(synchronizationtree)表示进程，或称为状态转移图， 而CSP用失败集(failureset)表示进程 CCS中，使用操作语义（互模拟语义）解释进程（的等价性）；而在CSP 中，则使用指称语义（失败语义）解释进程（的等价性） CCS和CSP等进程代数的演算系统均采用Interleaving模型描述 并发 标准的CCS和CSP均以同步通信的方式描述进程间的交互 有人在CCS的基础上进行一定的改进（从语法上，或从语义上）： 得到描述异步通信的演算系统 Tian Zhang Nanjing University 8Tian Zhang @ Nanjing University 8 CCS和CSP „ CCS和CSP是进程代数方法的代表,是描述通信 和并发 的演算 系统 ‰ 它们均以进程为计算单位，进程的基本组成是原子性动作 „ CCS和CSP都是既有模型又有演算，两者的不同点是： ‰ CCS用同步树(synchronizationtree)表示进程,或称为状态转移图， 而CSP用失败集(failureset)表示进程 ‰ CCS中,使用操作语义(互模拟语义)解释进程(的等价性);而在CSP 中，则使用指称语义(失败语义)解释进程(的等价性) „ CCS和CSP等进程代数的演算系统均采用Interleaving模型描述 并发 „ 标准的CCS和CSP均以同步通信的方式描述进程间的交互 ‰ 有人在CCS的基础上进行一定的改进(从语法上,或从语义上), 得到描述异步通信的演算系统