Power domains
id:
power-domains-302-16012103
title:
Power domains
text:
In denotational semantics and domain theory, power domains are domains of nondeterministic and concurrent computations. The idea of power domains for functions is that a nondeterministic function may be described as a deterministic set-valued function, where the set contains all values the nondeterministic function can take for a given argument. For concurrent systems, the idea is to express the set of all possible computations. Roughly speaking, a power domain is a domain whose elements are cer
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Power_domains
date created:
date modified:
2024-02-22T09:21:35Z
main entity:
{"identifier":"Q17152552","url":"https://www.wikidata.org/entity/Q17152552"}
image:
fields total:
13
integrity:
13