power domain English

Meaning power domain meaning

What does power domain mean?

power domain noun

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