逐次合成
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/10/03 08:13 UTC 版)
場合によっては、相互作用を時間的に順番に行いたいことがある。例えば、「まず 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}}} と置換されている。
※この「逐次合成」の解説は、「プロセス計算」の解説の一部です。
「逐次合成」を含む「プロセス計算」の記事については、「プロセス計算」の概要を参照ください。
- 逐次合成のページへのリンク