# Domain theory

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2007

Highly Cited

2007

- Studia Logica
- 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

- Mathematical Structures in Computer Science
- 2006

We propose compactly generated monotone convergence spaces as a well-behaved topological generalization of directed-completeâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- 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

- IEEE Trans. Software Eng.
- 1998

Retrieval, validation, and explanation tools are described for cooperative assistance during requirements engineering and areâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- LICS
- 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

- 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

- Theory and Formal Methods
- 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

- Ann. Pure Appl. Logic
- 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

- Theor. Comput. Sci.
- 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)

Is this relevant?

Highly Cited

1979

Highly Cited

1979

- Semantics of Concurrent Computation
- 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?