通信进程演算由英国计算机科学家R.米尔纳（Robin Milner，1934～2010）提出。构造通信进程的基本元素有空进程、动作、非确定选择、并行复合、限制、标号替换。进程的无穷行为可通过使用进程标识进行递归定义。这样构造的通信进程，称为基本通信进程演算。对于基本通信进程演算，体现在两个进程的互补动作的通信同时进行。在基本通信进程演算之上，可增加通道和通道相关的输入输出值，称为传值通信进程演算，使通信体现在进程之间的输入输出上。系统行为的解释和等价关系可建立在通信进程演算的标号迁移语义上。