Communicating sequential processes

您可以在Wikipedia上了解到此条目的英文信息 Communicating sequential processes Thanks, Wikipedia.

Communicating sequential processes (CSP)，又称通信顺序进程、交换消息的循序程序，一种形式语言，用来描述并发性系统间进行交互的模式。最早起源于东尼·霍尔在1978年发表的论文。通信顺序进程高度影响了Occam的设计，也影响了如Limbo与Go等编程语言。