qcrao 的项目，记录了一些比较深刻的问题。 项目地址 channel什么是 CSPCommunicat ing Sequential Processes。 这也是 Tony Hoare 在 1978 年发表在 ACM 的一篇论文。论文里