通信系统演算
计算机科学技术名词
通信系统演算(calculus of communicating systems,CCS)是2018年公布的计算机科学技术名词。
定义
由罗宾·米尔纳(Robin Milner)创建的一种进程代数,用于描述通信并发系统的代数理论。
出处
《计算机科学技术名词》第三版。
参考资料
通信系统演算.术语在线.
最新修订时间:2021-03-15 17:30
目录
概述
定义
出处
参考资料