(denotational semantics, domain theory) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.
power domain
並行プログラムの振る舞いをモデル化するために、非決定性および並行計算のドメインを基底となる値ドメインの上に構築し、非決定的な結果を表現した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★