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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
  • Henri Berestycki, François Hamel, Nikolai Nadirashvili
  • 2010
This paper is devoted to nonlinear propagation phenomena in general unbounded domains of RN , for reaction-diffusion equations… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2008
Highly Cited
2008
This paper contributes a Markov chain Monte Carlo (MCMC) method for the direct generation of synthetic time series of wind power… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2004
2004
  • E. Worley
  • Electrical Overstress/Electrostatic Discharge…
  • 2004
This paper examines the issue of transmitting signals between circuits of different power domains within an IC and the ESD… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
A game semantics of finite nondeterminism is proposed. In this model, a strategy may make a choice between different moves in a… (More)
  • figure 1
Is this relevant?
Highly Cited
1998
Highly Cited
1998
In this paper, we introduce a new operating system abstraction called reservation domains, and describe its implementation in… (More)
  • figure 1
  • figure 4
  • figure 2
  • figure 6
  • table 1
Is this relevant?
1996
1996
We introduce the notion of weakly hyperbolic iterated function system (IFS) on a compact metric space, which generalises that of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1993
Highly Cited
1993
We introduce domain theory in dynamical systems, iterated function systems (fractals) and measure theory. For a discrete… (More)
Is this relevant?
1993
1993
The probabilistic power domain construction of Jones and Plotkin 6, 7] is deened by a construction on dcpo's. We present… (More)
Is this relevant?
1993
1993
Lower, upper, sandwich, mixed, and convex power domains are isomorphic to domains of second order predicates mapping predicates… (More)
Is this relevant?
1990
1990
The variety of power domain constructions proposed in the literature is put into a general algebraic framework. Power… (More)
Is this relevant?