プロセス計算
メッセージが送信されると x ⟨ y ⟩ ⋅ P {\displaystyle x\langle y\rangle \cdot P} はプロセス P {\displaystyle {\mathit {P}}} となり、 x ( v ) ⋅ Q {\displaystyle x(v)\cdot Q} はプロセス Q [ y / v ] {\displaystyle Q[^{y}\!/\!_{v}]} となる。すなわち Q {\displaystyle {\mathit {Q}}} におけるプレースホルダー v {\displaystyle {\mathit {v}}} は x {\displaystyle {\mathit {x}}} における受信データ y {\displaystyle {\mathit {y}}} で置換される。
出力操作の継続として P {\displaystyle {\mathit {P}}} ができる範囲は、プロセス計算の特徴に大きく影響する。