Preview
Unable to display preview. Download preview PDF.
References
P. America and J.J.M.M. Rutten, “Solving Reflexive Domain Equations in a Category of Complete Metric Spaces”, J. Comput. System. Sci., 39(3), 1989, pp. 343–375.
J. deBakker and J. Zucker, “Processes and the Denotational Semantics of Concurrency”, Information and Control, 54, 1982, pp. 70–120.
R. C. Flagg, “Quantales and Continuity Spaces”, to appear in Algebra Universalis.
Flagg, R. C. and R. Kopperman, “Continuity Spaces and Continuous Lattices”, preprint.
Gierz, G., K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove and D. S. Scott, A Compendium of Continuous Lattices, Springer-Verlag, Berlin, 1980.
C. A. Gunter, ”Comparing Categories of Domains”, in: Mathematical Foundations of Programming Semantics, ed. A. Melton, LNCS 239, Springer-Verlag, 1985, pp. 101–121.
Henriksen, M., R. Kopperman, J. Mack, and D. W. B. Somerset, “Joincompact Spaces, Continuous Lattices, and C*-algebras”, preprint.
Kelley, J. L., General Topology, van Nostrand, Princeton, 1955.
Kelly, W. C., “Bitopological Spaces”, Proc. London Math. Soc. 13 (1963), 71–89.
Kopperman, R., “Asymmetry and Duality in Topology”, preprint.
Kopperman, R., “All Topologies Come From Generalized Metrics”, Am. Math. Monthly 95 (1988), 89–97.
J. D. Lawson, “The Versatile Continuous Order”, in: Mathematical Foundations of Programming Language Semantics, (ed. M. Mislove), Springer-Verlag, 1989, pp. 134–160.
Lawson, J. D., “Order and strongly sober compactifications”, Topology and Category Theory in Computer Science, G. M. Reed, A. W. Roscoe and R. F. Wachter, eds., Oxford University Press, Oxford, 1991, pp. 179–205.
G. D. Plotkin, “Post-graduate lecture notes in advanced domain theory”, Dept. of Computer Science, Univ. of Edinburgh, 1981.
H. Sherwood, “Complete probabilistic metric spaces”, Z. Wahrsch. Verw. Geb. 20, (1971), 117–128.
B. Schweizer and A. Sklar, Probabilistic Metric Spaces, North Holland, Amsterdam, 1983.
D. Scott and C. Strachey, “Toward a mathematical semantics for computer languages”, Proceedings of the Symposium on Computers and Automata, Polytechnic Institute Press, New York, 1971, 19–46.
Smyth, M. B., “Stable Local Compactification I”, J. London Math. Soc..
Wilson, W. A., “On Quasi-metric Spaces”, Amer. J. Math. 53 (1931), 675–684.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Flagg, R.C., Kopperman, R.D. (1994). The asymmetric topology of computer science. In: Brookes, S., Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Semantics. MFPS 1993. Lecture Notes in Computer Science, vol 802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58027-1_26
Download citation
DOI: https://doi.org/10.1007/3-540-58027-1_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58027-0
Online ISBN: 978-3-540-48419-6
eBook Packages: Springer Book Archive