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