Domain theory

Known as: Domain, Way-below relation 
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
The best ebooks about Continuous Lattices And Domains that you can get for free here by download this Continuous Lattices And… (More)
Is this relevant?
2006
2006
We propose compactly generated monotone convergence spaces as a well-behaved topological generalization of directed-complete… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The domain theory patterns for knowledge and software reuse that we provide for you will be ultimate to give preference. This… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Retrieval, validation, and explanation tools are described for cooperative assistance during requirements engineering and are… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
bases were introduced in [Smyth, 1977] where they are called \R-structures". Examples of abstract bases are concrete bases of… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Excellent book is always being the best friend for spending little time in your office, night time, bus, and everywhere. It will… (More)
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?
Highly Cited
1987
Highly Cited
1987
The mathematical framework of Stone duality is used to synthesize a number of hitherto separate developments in Theoretical… (More)
Is this relevant?
Highly Cited
1981
Highly Cited
1981
The general aim of this paper is to find a theory of concurrency combining the approaches of Petri and Scott (and others). In… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1979
Highly Cited
1979
The general aim of the paper is to find a theory of concurrency combining the approaches of Petri and Scott (and other workers… (More)
Is this relevant?