CSPbook循序进程代数（中文版） 上传者：纳兰相思流醉 2018-12-28 22:31:36上传 PDF文件 4.24MB 热度 458次 Communication Sequential Process （简称CSP）是著名计算机科学家C.A.R.Hoare为解决并发现象而提出的代数理论，是一个专为描述并发系统中通过消息交换进行交互通信实体行为而设计的一种抽象语言。 这里是周巢生院士翻译的中文版 下载地址 用户评论 更多下载
中文的，但是是90年出版的，有点久了