交談循序程式

维基百科,自由的百科全书
跳转至: 导航搜索

交談循序程式英语Communicating sequential processes,縮寫為 CSP),又譯為通訊順序進程交換訊息的循序程式,一種形式語言,用來描述並行性系統間進行互動的模式。最早起源於東尼·霍爾在1978年發表的論文。

外部連結 [编辑]