$lambda$ calculus
CCS
$E[f]$：如果 $E = a.P + b.Q$，$f(a)=c, f(b)=d$，则 $E[f] = c.P + d.Q$（动作重命名）。
- a, b: action
- E: process
Stack(v: s) = push(x).Stack(x) + …
- Stack: Process Monad
- Stack(v: s): 在特定参数下，Stack 这个进程或者说它的行为
- push: 通道, 通道是进程间传递值的 “媒介”
- x 是值变量（或称为参数变量）