CSP公司

通信顺序过程（CSP）是一种用于描述并行系统由C.A.R.（“Tony”）Hoare于20世纪80年代初创建，并在他的《通信顺序过程》一书，由Prentice-Hall出版，1985年

CSP根据使用事件进行交互的实体（进程）来描述进程（可以认为是消息）。CSP的一个重要部分是，如果你隐藏一组过程之间的交互，而不是该组之间的交互以及“世界其他地方”（环境），你会以另一个过程结束。那个即，进程组成。

表示有两部分：过程可以用事件来描述他们可以参与，并且可以用痕迹他们确实参加过的活动。例如，接受硬币的自动售货机，然后送一些茶，然后返回到其以前的状态，可以用以下描述：

VM=硬币->茶->VM

而踪迹虚拟机的数量为：

<硬币，茶>
<硬币，茶，硬币，茶>
<硬币、茶、硬币、茶，硬币、茶>
...

自从最初的论文发表以来，已经做了很多工作。CSP已成功用作编程语言occam的基础，近年来得到了扩展进入更广泛的领域，例如在硬件协同设计中解决任务：

TCSP公司-孙礼达,伦敦大学: 将时间处理引入CSP。Steve最近完成了书定时和不定时CSP公司。
注：这不应构成对本书的审查或认可。
CSPP公司-A.劳伦斯拉夫堡大学: 在CSP中引入了优先级，这在描述资源受限的系统时非常有用。劳伦斯博士的论文详细描述了CSPP(信息,PDF格式)，英寸WoTUG纸数据库.
HCSP公司-A.劳伦斯拉夫堡大学: 扩展了CSPP中的优先级模型，并包括新的同步原语和状态建模。当描述硬件系统时，它很有用&时钟等是不可避免的。劳伦斯博士的论文详细描述了CSPP(信息,PDF格式)，英寸WoTUG纸数据库.

有一个CSP存档保持在牛津大学编程实验室，值得调查。

这个链接页面包含其他几个CSP资源链接。