交谈循序进程

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