Definition, synonyms and related words
A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.