-
3
-
-
84947923938
-
Towards computing distances between programs via Scott domains
-
S. Adian, A. Nerode, eds., Lecture Notes in Computer Science. Springer
-
Bukatin M.A., Scott J.S. Towards computing distances between programs via Scott domains. In S. Adian, A. Nerode, eds., Logical Foundations of Computer Science. Lecture Notes in Computer Science. 1234. 33-43. Springer, 1997.
-
(1997)
Logical Foundations of Computer Science
, vol.1234
, pp. 33-43
-
-
Bukatin, M.A.1
Scott, J.S.2
-
5
-
-
0029406623
-
Domain theory and integration
-
Edalat A. Domain theory and integration. Theoretical Computer Science, 151 (1995). 163-193.
-
(1995)
Theoretical Computer Science
, vol.151
, pp. 163-193
-
-
Edalat, A.1
-
6
-
-
84947980080
-
-
Unpublished notes
-
Flagg R. Constructing CC-Valuations, Unpublished notes. 1997. Available via URL http: //macweb. acs.usm.maine. edu/math/archive/flagg/biCts.ps
-
(1997)
Constructing CC-Valuations
-
-
Flagg, R.1
-
7
-
-
0031125836
-
Continuity spaces: Reconciling domains and metric spaces
-
Flagg R. Kopperman R. Continuity spaces: Reconciling domains and metric spaces. Theoretical Computer Science, 177 (1997), 111-138.
-
(1997)
Theoretical Computer Science
, vol.177
, pp. 111-138
-
-
Flagg, R.1
Kopperman, R.2
-
8
-
-
0004011095
-
-
Springer
-
Gierz G., Hofmann K., Keimel K., Lawson J., Mislove M., Scott D. A Compendium of Continuous Lattices, Springer, 1980.
-
(1980)
A Compendium of Continuous Lattices
-
-
Gierz, G.1
Hofmann, K.2
Keimel, K.3
Lawson, J.4
Mislove, M.5
Scott, D.6
-
9
-
-
84947980081
-
Approximation of metric spaces by partial metric spaces
-
To appear in
-
Heckmann R. Approximation of metric spaces by partial metric spaces. To appear in Applied Categorical Structures, 1997.
-
(1997)
Applied Categorical Structures
-
-
Heckmann, R.1
-
10
-
-
0040701826
-
Continuous information systems
-
Hoofman R. Continuous information systems. Information and Computation, 105 (1993), 42-71.
-
(1993)
Information and Computation
, vol.105
, pp. 42-71
-
-
Hoofman, R.1
-
11
-
-
0004270633
-
-
PhD Thesis, University of Edinburgh
-
Jones C. Probabilistic Non-determinism, PhD Thesis, University of Edinburgh, 1989. Available via URL http://www.dcs.ed.ac.uk/lfcsreps/EXP0RT/90/ECS-LFCS-90-105/index.html
-
(1989)
Probabilistic Non-determinism
-
-
Jones, C.1
-
12
-
-
84947980082
-
Bi-continuous Valuations
-
to appear in the, University of Birmingham, Sept
-
Keimel K. Bi-continuous Valuations, to appear in the Proceedings of the Third Workshop on Computation and Approximation, University of Birmingham, Sept. 1997. Available via URL http://theory.doc.ic.ac.uk/forum/comprox/data/talk.3.1.6.ps.gz
-
(1997)
Proceedings of the Third Workshop on Computation and Approximation
-
-
Keimel, K.1
-
13
-
-
0029405908
-
An extensional treatment of lazy data flow deadlock
-
Matthews S.G. An extensional treatment of lazy data flow deadlock. Theoretical Computer Science. 151 (1995). 195-205.
-
(1995)
Theoretical Computer Science
, vol.151
, pp. 195-205
-
-
Matthews, S.G.1
-
14
-
-
0028558872
-
Partial metric topology
-
S. Andima et al., eds., New York
-
Matthews S.G. Partial metric topology. In S. Andima et al., eds., Proc. 8th Summer Conference on General Topology and Applications, Annals of the New York Academy of Sciences, 728, 183-197. New York, 1994.
-
(1994)
Proc. 8th Summer Conference on General Topology and Applications, Annals of the New York Academy of Sciences
, vol.728
, pp. 183-197
-
-
Matthews, S.G.1
-
15
-
-
0041392754
-
Partial metrics, valuations and domain theory
-
S. Andima et al., eds. New York
-
O’Neill S.J. Partial metrics, valuations and domain theory. In S. Andima et al., eds. Proc. 11th Summer Conference on General Topology and Applications, Annals of the New York Academy of Sciences, 806, 304-315, New York, 1997.
-
(1997)
Proc. 11th Summer Conference on General Topology and Applications, Annals of the New York Academy of Sciences
, vol.806
, pp. 304-315
-
-
O’Neill, S.J.1
-
16
-
-
0038751320
-
On the extension of measures
-
Pettis B.J. On the extension of measures. Annals of Mathematics. 54 (1951). 186-197.
-
(1951)
Annals of Mathematics
, vol.54
, pp. 186-197
-
-
Pettis, B.J.1
-
17
-
-
85037056865
-
Domains for denotational semantics
-
M. Nielsen, E. M. Schmidt, eds., Automata, Languages, and Programming, Springer
-
Scott D.S. Domains for denotational semantics. In M. Nielsen, E. M. Schmidt, eds., Automata, Languages, and Programming, Lecture Notes in Computer Science, 140, 577-613, Springer, 1982.
-
(1982)
Lecture Notes in Computer Science
, vol.140
, pp. 577-613
-
-
Scott, D.S.1
-
18
-
-
0003980861
-
-
(Continuous Valuations on Topological Spaces, in German), Diploma Thesis, Darmstadt Institute of Technology
-
Tix R. Stetige Bewertungen auf topologischen Räumen, (Continuous Valuations on Topological Spaces, in German), Diploma Thesis, Darmstadt Institute of Technology, 1995. Available via URL http://www.mathematik.th-darmstadt.de/ags/agl4/papers/papers.html
-
(1995)
Stetige Bewertungen auf topologischen Räumen
-
-
Tix, R.1
|