文件名称：CSPbook循序进程代数（中文版）
文件大小：4.24MB
文件格式：PDF
更新时间：2020-10-17 08:12:01
形式化 进程代数
Communication Sequential Process （简称CSP）是著名计算机科学家C.A.R.Hoare为解决并发现象而提出的代数理论，是一个专为描述并发系统中通过消息交换进行交互通信实体行为而设计的一种抽象语言。 这里是周巢生院士翻译的中文版
CSPbook循序进程代数（中文版）
【文件属性】：
网友评论
- 中文的，但是是90年出版的，有点久了