通信顺序进程

通信顺序进程（communicating sequential processes，CSP），计算机科学技术名词，由托尼·霍尔（Tony Hoare）创建的一种进程代数，用于描述并发系统交互模式的形式系统。