No meta

calculus

CCS

：如果 ，，则 （动作重命名）。

• a, b: action
• E: process

Stack(v: s) = push(x).Stack(x) + …

• Stack: Process Monad
• Stack(v: s): 在特定参数下，Stack 这个进程或者说它的行为
• push: 通道, 通道是进程间传递值的 “媒介”
• x 是值变量（或称为参数变量）