English Dictionary

power domain

名詞

(denotational semantics, domain theory) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.

日本語の意味

非決定性および並行計算を扱うための領域。これは、基本となる領域の特定の部分集合を要素として持つ集合（領域）として定義される。

To model the behavior of concurrent programs, we constructed a power domain over the underlying value domain to represent nondeterministic outcomes.

並行プログラムの振る舞いをモデル化するために、非決定性および並行計算のドメインを基底となる値ドメインの上に構築し、非決定的な結果を表現した。

意味（1）

(denotational semantics, domain theory) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.

power domains （ plural ）