Probabilistic Domains (1997)

Cached

Download Links

by Reinhold Heckmann
Venue:in Proc. CAAP ’94, LNCS
Citations:22 - 4 self

Active Bibliography

23 Power Domain Constructions – Reinhold Heckmann - 1998
13 Power Domains and Second Order Predicates – Reinhold Heckmann - 1993
3 Power Domains Supporting Recursion and Failure – Reinhold Heckmann, Bundesrepublik Deutschland - 1998
4 An Upper Power Domain Construction in terms of Strongly Compact Sets – Reinhold Heckmann - 1998
4 Observable Modules and Power Domain Constructions – Reinhold Heckmann - 1993
The Largest Cartesian Closed Category of Domains, Considered Constructively – Dieter Spreen - 2000
8 Coherence and Consistency in Domains – Carl A. Gunter, Achim Jung - 1990
2 Natural Semantics for Non-Determinism – Andrew Moran - 1993
8 Making Choices Lazily – John Hughes, Andrew Moran - 1995
148 Semantic Domains – C. A. Gunter, D. S. Scott - 1990
11 A domain equation for refinement of partial systems – Michael R. A. Huth, Radha Jagadeesan, David A. Schmidt
1 The Classification of Continuous Domains (Extended Abstract) – Achim Jung, Technische Hochschule Darmstadt
3 Information Categories – Abbas Edalat, Michael B. Smyth - 1991
Topology in Computer Science Problems – D. Spreen, H. Schulz (eds.), Edited D. Spreen, H. Schulz, Sent In Michael Bukatin - 2000
An Old Problem From Domain Theory Stated in Quasi-Uniform Terms – Philipp Sünderhauf - 2000
3 Domains with Approximating Projections – Ralph Kummetz - 1999
1 Posets with Projections and their Morphisms – Ralph Kummetz - 1999
3 The Largest Cartesian Closed Category of Stable Domains – Guo-qiang Zhang
6 Disjunctive Systems and L-Domains – Guo-qiang Zhang - 1992