进程演算：用于形式化描述与分析并发系统（多个进程同时运行）、通信（消息传递/同步）以及系统行为等价性（如双模拟）的数学语言与理论框架。常见代表包括 CCS、CSP、π-演算 等。
/ˈprɑːsɛs ˈkælkjələs/
Process calculus helps researchers model how concurrent programs communicate.
进程演算帮助研究者对并发程序如何通信进行建模。
Using the π-calculus, we can formally reason about a protocol where communication channels are created and passed between processes.
借助 π-演算，我们可以对一种协议进行形式化推理：在该协议中，通信信道会被创建并在进程之间传递。
process 源自拉丁语 processus（“前进、进行”），在计算机科学中引申为“进程/执行中的程序”。calculus 源自拉丁语 calculus（“小石子”），古人用小石子计数，引申为“演算/计算体系”。合起来 process calculus 指“用于对进程（并发行为）进行形式化演算的体系”。
Select Language