Power domains (original) (raw)
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. A modern reference to this subject is the chapter of Abramsky and Jung [1994]. Older references include those of Plotkin [1983, Chapter 8] and Smyth [1978].
| Property | Value |
|---|---|
| dbo:abstract | 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 certain subsets of a domain. Taking this approach naively, though, often gives rise to domains that don't quite have the desired properties, and so one is led to increasingly complicated notions of power domain. There are three common variants: the Plotkin, upper, and lower power domains. One way to understand these concepts is as free models of theories of nondeterminism. For most of this article we use the terms "domain" and "continuous function" quite loosely, meaning respectively some kind of ordered structure and some kind of limit-preserving function. This flexibility is genuine; for example, in some concurrent systems it is natural to impose the condition that every message sent must eventually be delivered. However, the limit of a chain of approximations in which a message was not delivered, would be a completed computation in which the message was never delivered! A modern reference to this subject is the chapter of Abramsky and Jung [1994]. Older references include those of Plotkin [1983, Chapter 8] and Smyth [1978]. (en) |
| dbo:wikiPageExternalLink | http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.ps.gz http://homepages.inf.ed.ac.uk/gdp/publications/ |
| dbo:wikiPageID | 2676589 (xsd:integer) |
| dbo:wikiPageLength | 9133 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1060156011 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Robin_Milner dbr:CAR_Hoare dbr:Denotational_semantics dbr:Gordon_Plotkin dbr:Concurrency_(computer_science) dbr:SIAM_Journal_on_Computing dbr:Leopold_Vietoris dbr:Communications_of_the_ACM dbr:Commutative_diagram dbr:Complete_partial_order dbr:Denotational_semantics_of_the_Actor_model dbr:Ralph-Johan_Back dbr:Actor_model_theory dbc:Denotational_semantics dbr:Domain_theory dbr:Joe_Stoy dbr:Actor_model dbr:Nissim_Francez dbr:Carl_Hewitt dbr:Journal_of_Computer_and_System_Sciences dbr:Journal_of_the_ACM dbr:Henry_Baker_(computer_scientist) dbr:Binary_operation dbr:Free_lattice dbr:Free_object dbr:ICALP dbr:Semilattice dbr:Set_(mathematics) dbr:Nondeterministic_algorithm dbr:Topological_space dbr:Subset dbr:C._A._R._Hoare |
| dbp:wikiPageUsesTemplate | dbt:ISBN dbt:Math |
| dcterms:subject | dbc:Denotational_semantics |
| gold:hypernym | dbr:Domains |
| rdf:type | dbo:Protein |
| rdfs:comment | 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. A modern reference to this subject is the chapter of Abramsky and Jung [1994]. Older references include those of Plotkin [1983, Chapter 8] and Smyth [1978]. (en) |
| rdfs:label | Power domains (en) |
| owl:sameAs | freebase:Power domains wikidata:Power domains https://global.dbpedia.org/id/gKco |
| prov:wasDerivedFrom | wikipedia-en:Power_domains?oldid=1060156011&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Power_domains |
| is dbo:wikiPageRedirects of | dbr:History_of_power_domains dbr:Power_domain dbr:Powerdomain |
| is dbo:wikiPageWikiLink of | dbr:Denotational_semantics dbr:Gordon_Plotkin dbr:Denotational_semantics_of_the_Actor_model dbr:Actor_model dbr:History_of_power_domains dbr:Power_domain dbr:Powerdomain |
| is foaf:primaryTopic of | wikipedia-en:Power_domains |