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
78 Power domains – M B Smyth - 1978
26 A Semantics for Complex Objects and Approximate Queries – Peter Buneman, Susan Davidson, Aaron Watters - 1988
17 is not always sober – P Scott Johnstone - 1981
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
17 The Mixed Powerdomain – C Gunter - 1992
320 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
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
8 Relating total and partial correctness interpretations of non-deterministic programs – C A Gunter - 1990
24 domains and predicate transformers: a topological view. volume 154 – Power - 1983
22 Probabilistic Domains – Reinhold Heckmann - 1997
730 Notions of Computation and Monads – Eugenio Moggi - 1991
461 Domain Theory – Samson Abramsky, Achim Jung - 1994