Wiktionary
power domain
alt. (context denotational semantics domain theory English) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain. n. (context denotational semantics domain theory English) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.