power domain

See also: powerdomain

English

Alternative forms

• powerdomain

Noun

power domain (plural power domains)

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