power domain
From Wiktionary, the free dictionary
See also: powerdomain
English
Alternative forms
Noun
power domain (plural power domains)
- (denotational semantics, domain theory) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.
Wikiwand - on
Seamless Wikipedia browsing. On steroids.