进程演算 在计算机科学中进程演算或进程代数是用于形式化建模并发系统的多种相关方法进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互通信同步的方法其中包含了对进程操作和分析的描述以及证明形式化推导进程之间存在等价关系例如双向模拟的运用的代数法则关于进程演算的典例主要包括CSPCCSACP和LOTOS最近新增的演算包括π演算环境演算PEPA融合演算和联接演算