power domain (English, noun)
expansion: power domain (plural power domains)
Senses:
qualifier: denotational semantics; domain theory; denotational semantics; domain theory
glosses: A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.
Forms:
form: power domains
tags: plural
form: powerdomain
tags: alternative