プロセス計算
場合によっては、相互作用を時間的に順番に行いたいことがある。例えば、「まず x {\displaystyle {\mathit {x}}} でデータを受信し、そのデータを y {\displaystyle {\mathit {y}}} に送信する」というようなアルゴリズム記述はよくある。逐次合成(Sequential composition)はそのようなプロセスで使われる。これは他の計算モデルでもよく使われる。プロセス計算では逐次化演算子は一般に入力や出力と結びついていることが多い。例えば、プロセス x ( v ) ⋅ P {\displaystyle x(v)\cdot P} は、入力を x {\displaystyle {\mathit {x}}} で待ち受ける。そして入力があったときだけプロセス P {\displaystyle {\mathit {P}}} を起動し、その際に受信データは x {\displaystyle {\mathit {x}}} によって識別子 v {\displaystyle {\mathit {v}}} と置換されている。