C.A.R. Hoare的作品

C.A.R. Hoare的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。

Communicating Sequential Processes

C.A.R. Hoare

评分 8.5分

Communicating Sequential Processes, or CSP, is a language for describing patterns of interaction. It is supported by an elegant, mathematical theory, a set of proof tools, and an extensive literatu