Topology, Domain Theory and Theoretical Computer Science (1997)

by Michael W. Mislove
Citations:10 - 2 self

Active Bibliography

228 Domain Theory in Logical Form – Samson Abramsky - 1991
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
7 Integration in real PCF – Abbas Edalat, Martín Hötzel Escardó - 1996
18 Semantic Domains for Combining Probability and Non-Determinism – Regina Tix, Klaus Keimel, Gordon Plotkin - 2005
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
23 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
GDP Festschrift ENTCS, to appear Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic – David Pym, Chris Tofts
9 Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic – David Pym, Chris Tofts
3 The Semantics Of Fair Recursion With Divergence – Michael Huth, Marta Kwiatkowska - 1996
1 Theory for Software Verification – David A. Naumann - 2009
456 Domain Theory – Samson Abramsky, Achim Jung - 1994
3 Power Domains Supporting Recursion and Failure – Reinhold Heckmann, Bundesrepublik Deutschland - 1998
21 A Cook’s tour of the finitary non-well-founded sets – Samson Abramsky - 1988
12 A Complete Characterization of Complete Intersection-Type Theories (Extended Abstract) – M. Dezani-ciancaglini, F. Honsell, F. Alessi - 2000
6 Induction and recursion on the partial real line with applications to Real PCF – Martín Hötzel Escardo, Thomas Streicher - 1997
11 Intersection Types and Lambda Models – Fabio Alessi, Franco Barbanera - 2005
15 Universal Profinite Domains – Carl A. Gunter - 1987
The Continuum: Foundations and Applications – Giuseppe Longo, Uperieure S Ormale, N Ecole - 1997
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000