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