通信順序進程

在計算機科學中 ， 通 - { } - 信順序進程 ( 縮寫爲CSP ） ， 又譯爲交 - { } - 談循序程式 、 交換訊息的循序程式 ， 是一種形式語言 ， 用來描述並行性系統間進行互動的模式 。 它是叫做進程代數或進程演算的關於併發的數學理論家族的一員 ， 基於了通過通道的消息傳遞 。 CSP高度影響了Occam的設計 ， 也影響了程式語言如Limbo 、 、 Go 、 和Clojure的core.async等 。 CSP最早出現於東尼 · 霍爾在1978年發表的論文 ， 但在之後又經過一系列的改善 。 CSP已經實際的應用在工業之中 ， 作爲一種工具去各種不同系統的併發狀況 ， 比如T9000 Transputer ， 還有安全電子商務系統 。 CSP的理論自身仍是活躍研究的主題 ， 包括了增加它的實際可應用性的範圍 （ 比如增大可以跟蹤分析的系統的規模 ） 。