交談循序程式

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

交談循序程式英语Communicating sequential processes,縮寫為 CSP),又譯為通信顺序进程交換訊息的循序程式,一種形式語言,用來描述並行性系統間進行互動的模式。最早起源於東尼·霍爾在1978年發表的論文。交談循序程式高度影響了Occam的設計,也影響了如LimboGo等程式語言。

外部連結[编辑]