Power Domain Constructions (1998)

Cached

Download Links

by Reinhold Heckmann
Venue:SCIENCE OF COMPUTER PROGRAMMING
Citations:23 - 9 self

Documents Related by Co-Citation

90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
210 A powerdomain construction – G. D. Plotkin - 1976
26 A Semantics for Complex Objects and Approximate Queries – Peter Buneman, Susan Davidson, Aaron Watters - 1988
78 Power domains – M B Smyth - 1978
17 is not always sober – P Scott Johnstone - 1981
17 The Mixed Powerdomain – C Gunter - 1992
13 Power Domains and Second Order Predicates – Reinhold Heckmann - 1993
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
148 Semantic Domains – C. A. Gunter, D. S. Scott - 1990
49 Local compactness and continuous lattices – Karl Heinrich Hofmann, Michael W Mislove - 1979
22 Probabilistic Domains – Reinhold Heckmann - 1997
137 Probabilistic Non-determinism – C Jones - 1990
123 A domain equation for bisimulation – S Abramsky - 1991
1065 Introduction to lattices and order – B A Davey, H A Priestley - 2002
231 Domain Theory in Logical Form – Samson Abramsky - 1991
54 Abstract interpretation, logical relations and Kan extensions – S Abramsky - 1987
8 Relating total and partial correctness interpretations of non-deterministic programs – C A Gunter - 1990
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
320 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980