CSP（Communicating Sequential Processes，通信顺序进程）是由计算机科学家托尼·霍尔于1978年提出的并发编程形式化模型。其核心思想是将并发系统描述为多个独立的顺序进程，进程之间通过消息传递（通道）进行通信与同步，而非共享内存。CSP对并发理论研究和实际编程语言设计（如Go、Erlang）均有深远影响。