Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Power_domains> ?p ?o }
Showing triples 1 to 51 of
51
with 100 triples per page.
- Power_domains 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 of \"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].".
- Power_domains wikiPageExternalLink publications.
- Power_domains wikiPageExternalLink handy1.pdf.
- Power_domains wikiPageExternalLink handy1.ps.gz.
- Power_domains wikiPageID "2676589".
- Power_domains wikiPageLength "8967".
- Power_domains wikiPageOutDegree "32".
- Power_domains wikiPageRevisionID "700735773".
- Power_domains wikiPageWikiLink Actor_model.
- Power_domains wikiPageWikiLink Actor_model_theory.
- Power_domains wikiPageWikiLink Carl_Hewitt.
- Power_domains wikiPageWikiLink Category:Denotational_semantics.
- Power_domains wikiPageWikiLink Communications_of_the_ACM.
- Power_domains wikiPageWikiLink Concurrency_(computer_science).
- Power_domains wikiPageWikiLink Denotational_semantics.
- Power_domains wikiPageWikiLink Denotational_semantics_of_the_Actor_model.
- Power_domains wikiPageWikiLink Domain_theory.
- Power_domains wikiPageWikiLink Free_object.
- Power_domains wikiPageWikiLink Gordon_Plotkin.
- Power_domains wikiPageWikiLink Henry_Baker_(computer_scientist).
- Power_domains wikiPageWikiLink International_Colloquium_on_Automata,_Languages_and_Programming.
- Power_domains wikiPageWikiLink Joe_Stoy.
- Power_domains wikiPageWikiLink Journal_of_Computer_and_System_Sciences.
- Power_domains wikiPageWikiLink Journal_of_the_ACM.
- Power_domains wikiPageWikiLink Leopold_Vietoris.
- Power_domains wikiPageWikiLink Nondeterministic_algorithm.
- Power_domains wikiPageWikiLink Ralph-Johan_Back.
- Power_domains wikiPageWikiLink Robin_Milner.
- Power_domains wikiPageWikiLink SIAM_Journal_on_Computing.
- Power_domains wikiPageWikiLink Semilattice.
- Power_domains wikiPageWikiLink Tony_Hoare.
- Power_domains wikiPageWikiLink Topological_space.
- Power_domains wikiPageWikiLinkText "Power domains for nondeterminism".
- Power_domains wikiPageWikiLinkText "Power domains".
- Power_domains wikiPageWikiLinkText "power domains".
- Power_domains wikiPageWikiLinkText "powerdomain theory".
- Power_domains wikiPageUsesTemplate Template:Math.
- Power_domains subject Category:Denotational_semantics.
- Power_domains hypernym Domains.
- Power_domains type Language.
- Power_domains type Model.
- Power_domains type Protein.
- Power_domains type Language.
- Power_domains type Model.
- Power_domains 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.".
- Power_domains label "Power domains".
- Power_domains sameAs Q17152552.
- Power_domains sameAs m.07x6y5.
- Power_domains sameAs Q17152552.
- Power_domains wasDerivedFrom Power_domains?oldid=700735773.
- Power_domains isPrimaryTopicOf Power_domains.