Skip to search formSkip to main contentSkip to account menu

Power domains

Known as: History of power domains, Power domain, Powerdomain 
In denotational semantics and domain theory, power domains are domains of nondeterministic and concurrent computations. The idea of power domains for… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Actor modelActor model theoryCommunications of the ACMConcurrency (computer science)

Broader (1)

Denotational semantics

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Power-proportional modelling fidelity
Traditional hierarchical modelling methods tend to have layers of abstraction corresponding to naturally existing layers of… 
2010
2010
Simulation and Measurement of an On-Die Power-Gated Power Delivery System
For low-power design, power switch gate is introduc ed to the SOC to reduce the leakage current from the un-used IP block during… 
Review
2006
Review
2006
In memory of Noel Baker ENTIRE FUNCTIONS WITH BOUNDED FATOU COMPONENTS
Starting with the work of I.N. Baker that appeared in 1981, many authors have studied the question of under what circumstances… 
Review
2004
Review
2004
GENERAL CONSTRAINTS ON SPIN OBSERVABLES; APPLICATIONS TO ¯ + p ! + AND TO POLARIZED QUARK DISTRIBUTIONS 1
We review the density matrix formalism and the positivity conditions for general multiple spin asymmetries, taking as an example… 
1997
1997
A Game-Theoretic, Concurrent and Fair Model of the Typed Lambda-calculus, with Full Recursion
This paper, and the talk on which it is based, were strongly influenced by two, contradictory words of advice. First, there is… 
1991
1991
A CTASS OF MEROMORPHIC FUNCTIONS \MITH NO WANDERING DOMAINS
We consider the class of meromorphic functions with finitely many fixed points, that is the class offunctions ofthe form f(z) = z… 
1989
1989
Step semantics for “true” concurrency with recursion
We present a variety of denotational linear time semantics for a language with recursion and “true” concurrency in a form of… 
1984
1984
Semantics of Networks Containing Indeterminate Operators
We discuss a denotational semantics for networks containing indeterminate operators. Our approach is based on modelling a network… 
1984
1984
Building a Large Knowledge Base for a Natural Language System
A sophisticated natural language system requires a large knowledge base. A methodology is described for constructing one in a… 
1979
1979
SQUINT-A NONLINEAR FEATURE OF FLOW PATTERNS IN NEMATICS
The curvature $ of an electronematodynamic flow pattern obeys, in the steady state, the nonlinear equation $" + qZ $ t,h3 + b…