power domain en · NOUN
Meanings
- (qualifier:denotational semantics; domain theory; denotational semantics; domain theory) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| powerdomain | alternative | lexicographic | |
| power domains | Number=Plur | lexicographic |