powerdomain
/P AW1 ER0 D OW0 M EY1 N/noun
- 1
Alternative form of power domain. [(denotational semantics, domain theory) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.]
Translate “powerdomain” into another language
Choose a language below to open the translator with English selected as the source language.