序程式，是一种形式语言，用来描述并行性系统间进行互动的模式。它是叫做进程代数或进程演算的关于并发的数学理论家族的一员，基于了通过通道的消息传递。CSP高度影响了Occam的设计，也影响了程式语言如Limbo、RaftLib、Go、 Crystal和Clojure的core.async等。CSP最早出现于东尼·霍尔在1978年发表的论文，但在之后又经过一系列的改善。CSP已经实际的应用在工业之中，作为一种工具去各种不同系统的并发状况，比如T9000 Transputer，还有安全电子商务系统。CSP的理论