交談循序程式
维基百科，自由的百科全书
交談循序程式（英语：Communicating sequential processes，縮寫為 CSP），又譯為通訊順序進程、交換訊息的循序程式，一種形式語言，用來描述並行性系統間進行互動的模式。最早起源於東尼·霍爾在1978年發表的論文。
[编辑] 外部連結
- Hoare, C. A. R.. Communicating Sequential Processes (PDF). Prentice Hall International. 2004 [1985]. ISBN 0131532715.
