进程代数

进程代数（process algebra），计算机科学技术名词，关于通信并发系统的代数理论的统称。这些代数理论都使用通信，而不是共享存储，作为进程之间相互作用的基本手段。