|
87
|
Full Abstraction for a Simple Parallel Programming Language
– M. C. B. Hennessy, G. D. Plotkin
- 1979
|
|
196
|
A powerdomain construction
– G. D. Plotkin
- 1976
|
|
26
|
A Semantics for Complex Objects and Approximate Queries
– Peter Buneman, Susan Davidson, Aaron Watters
- 1988
|
|
15
|
is not always sober
– Scott
- 1981
|
|
76
|
Power Domains
– M Smyth
- 1978
|
|
13
|
Power Domains and Second Order Predicates
– Reinhold Heckmann
- 1993
|
|
136
|
Semantic Domains
– C. A. Gunter, D. S. Scott
- 1990
|
|
45
|
Local compactness and continuous lattices
– K H Hofmann, M W Mislove
- 1981
|
|
18
|
The mixed powerdomain
– C GUNTER
- 1992
|
|
304
|
A Compendium of Continuous Lattices
– G Gierz, K H Hofmann, K Keimel, J D Lawson, M W Mislove, D S Scott
- 1980
|
|
108
|
G.: A probabilistic powerdomain of evaluations
– C Jones, Plotkin
- 1989
|
|
909
|
Introduction to Lattices and Order
– B A Davey, H A Priestley
- 1990
|
|
54
|
Abstract interpretation, logical relations, and Kan extensions
– S Abramsky
- 1990
|
|
214
|
Domain Theory in Logical Form
– Samson Abramsky
- 1991
|
|
8
|
Relating total and partial correctness interpretations of non-deterministic programs
– C A Gunter
- 1990
|
|
23
|
domains and predicate transformers: A topological view
– Power
- 1983
|
|
21
|
Probabilistic Domains
– Reinhold Heckmann
- 1997
|
|
402
|
Domain Theory
– Samson Abramsky, Achim Jung
- 1994
|
|
122
|
Probabilistic Non-determinism
– Claire Jones
- 1990
|
