交談循序程式
維基百科,自由的 encyclopedia
在電腦科學中,通信順序行程(英語:Communicating sequential processes,縮寫為CSP),又譯為交談循序程式、交換訊息的循序程式,是一種形式語言,用來描述並行性系統間進行互動的模式[1]。它是叫做行程代數或行程演算的關於並行的數學理論家族的一員,基於了通過通道的訊息傳遞。CSP高度影響了Occam的設計[1][2],也影響了程式語言如Limbo[3]、RaftLib(英語:RaftLib)、Go[4]、 Crystal(英語:Crystal (programming language))和Clojure的core.async[5]等。
CSP最早出現於東尼·霍爾在1978年發表的論文[6],但在之後又經過一系列的改善[7]。CSP已經實際的應用在工業之中,作為一種工具去規定和驗證(英語:Formal specification)各種不同系統的並行狀況,比如T9000 Transputer[8],還有安全電子商務系統[9]。CSP的理論自身仍是活躍研究的主題,包括了增加它的實際可應用性的範圍(比如增大可以跟蹤分析的系統的規模)[10]。