powerdomain

/P AW1 ER0 D OW0 M EY1 N/
noun
  1. 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