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