通信系统演算

通信系统演算（calculus of communicating systems，CCS），计算机科学技术名词，由罗宾·米尔纳（Robin Milner）创建的一种进程代数，用于描述通信并发系统的代数理论。