通信顺序进程 在计算机科学中通信顺序进程英語Communicating sequential processes縮寫為CSP又譯為交談循序程式交換訊息的循序程式是一種形式語言用來描述並行性系統間進行互動的模式它是叫做进程代数或进程演算的关于并发的数学理论家族的一员基于了通过通道的消息传递CSP高度影響了Occam的設計也影響了程式語言如LimboRaftLib英语RaftLibGo Crystal英语Crystal programming language和Clojure的coreasync等 CSP最早出現於東尼霍爾在年發表的論文但在之後又經過一系列的改善CSP已经实际的应用在工业之中作为一种工具去规定和验证英语Formal specification各种不同系统的并发状况比如T Transputer还有安全电子商务系统CSP的理论自身仍是活跃研究的主题包括了增加它的实际可应用性的范围比如增大可以跟踪分析的系统的规模