Sekirov Dictionary

power domain

noun1

A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.

forms

power domains

This dictionary works without the internet: on your phone · in Chrome