決定的選択
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/13 22:25 UTC 版)
「Communicating Sequential Processes」の記事における「決定的選択」の解説
決定的(または外部)選択演算子は、プロセスの将来を2つのコンポーネントプロセス間の選択で定義可能とするもので、プロセス群と初期イベントとのやり取りによって環境が選択を行うことを可能にする。たとえば
※この「決定的選択」の解説は、「Communicating Sequential Processes」の解説の一部です。
「決定的選択」を含む「Communicating Sequential Processes」の記事については、「Communicating Sequential Processes」の概要を参照ください。
- 決定的選択のページへのリンク