communication sequential process

【文件属性】：

文件名称：communication sequential process

文件大小：500KB

文件格式：PDF

更新时间：2021-04-12 11:39:12

jcap

CSP 描述这样一种并发模型：多个Process 使用一个 Channel 进行通信, 这个 Channel 连结的 Process 通常是匿名的，消息传递通常是同步的。CSP 是一门形式语言（类似于 ℷ calculus），用于描述并发系统中的互动模式，也因此成为一众面向并发的编程语言的理论源头。