power domain
Jump to navigation
Jump to search
See also: powerdomain
English[edit]
Alternative forms[edit]
Noun[edit]
power domain (plural power domains)
- (denotational semantics, domain theory) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.