The correspondence between partial metrics and semivaluations

Theoretical Computer Science

Volumn 315, Issue 1, 2004, Pages 135-149

  Schellekens, M P ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

(Weightable) Quasi metrics; Directed partial orders; Partial metrics; Valuations

Indexed keywords

FUNCTIONS; PROBABILISTIC LOGICS; SEMANTICS; SET THEORY; THEOREM PROVING; TOPOLOGY;

(WEIGHTABLE) QUASI-METRICS; DIRECTED PARTIAL ORDERS; PARTIAL METRICS; VALUATIONS;

COMPUTER SCIENCE;

EID: 2042514962     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2003.11.016     Document Type: Conference Paper

References (26)

1. Birkhoff G. Lattice Theory. AMS Colloquium Publications. Vol. 25:1984;American Mathematical Society, Providence, RI.
2. Bonsangue M.M., van Breugel F., Rutten J.J.M.M. Generalized metric spaces. completion, topology, and powerdomains via the Yoneda embedding Theoret. Comp. Sci. 193:1998;1-51.
3. Bukatin M.A., Scott J.S. Towards computing distances between programs via Scott domains. Adian S., Nerode A. Logical Foundations of Computer Science. Lecture Notes in Computer Science. Vol. 1234:1997;33-43 Springer, Berlin.
4. Bukatin M.A., Shorina S.Y. Partial metrics and Co-continuous Valuations. Nivat M. Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science. Vol. 1378:1998;125-139 Springer, Berlin.
5. Crawley P., Dilworth R.P. Algebraic Theory of Lattices. 1973;Prentice-Hall, Englewood Cliffs, NJ.
6. A. Edalat, Domain theory and integration, LICS'94, IEEE Computer Society Press, Silver Spring, MD, 1994.
7. A. Edalat, M.H. Escardo, P.J. Potts, Semantics of Exact Real Arithmetic, Proc. Twelfth Ann. IEEE Symp. on Logic in Computer Science, IEEE Press, New York, 1997, pp. 248-257.
8. Fletcher P., Lindgren W. Quasi-uniform spaces. 1982;Marcel Dekker, Inc. New York.
9. Gunter C.A. Semantics of Programming Languages. 1992;MIT Press, Cambridge, MA.
10. Heckmann R. Lower bag domains. Fund. Inform. 24(3):1995;259-281.
11. Heckmann R. Approximation of metric spaces by partial metric spaces. Appl. Categorical Struct. 7:1999;71-83.
12. C. Jones, Probabilistic non-determinism, Ph.D. Thesis, University of Edinburgh, 1989.
13. C. Jones, G. Plotkin, A probabilistic powerdomain of evaluations, in: LICS'89, IEEE Computer Society Press, Silver Spring, MD, 1998, pp. 186-195.
14. H.P. Künzi, Nonsymmetric topology, in: Proc. Szekszárd Conf., Bolyai Soc. Math. Stud. 4 (1993) 303-338.
15. H.P. Künzi, V. Vajner, Weighted quasi-metrics, in: Proc. 8th Summer Conf. on General Topology and Applications; Ann. New York Acad. Sci. 728 (1994) 64-77.
16. S.G. Matthews, Partial metric topology, in: Proc. 8th Summer Conf. on General Topology and Applications; Ann. New York Acad. Sci. 728 (1994) 183-197.
17. Matthews S.G. An extensional treatment of lazy data flow deadlock. Theoret. Comput. Sci. 151:1995;195-205.
18. S.J. O'Neill, Partial metrics, valuations and domain theory, in: S. Andima, et al. (Eds.), Proc. 11th Summer Conf. General Topology and Applications; New York. Ann. New York Acad. Sci. 806 (1997) 304-315.
19. S.J. O'Neill, A fundamental study into the theory and application of the partial metric spaces, Ph.D. Thesis, University of Warwick, 1998.
20. Romaguera S., Schellekens M. Quasi-metric properties of complexity spaces. Topology Appl. 98:1999;311-322.
21. M.P. Schellekens, The Smyth completion: a common foundation for denotational semantics and complexity analysis, in: Proc. MFPS 11, Electronic Notes in Theoretical Computer Science, Vol. I, Elsevier, Amsterdam, 1995, pp. 211-232.
22. M.P. Schellekens, On upper weightable spaces, in: Proc. 11th Summer Conf. General Topology and Applications; Ann. New York Acad. Sci. 806 (1996) 348-363.
23. M.B. Smyth, Quasi-uniformities: Reconciling Domains with Metric Spaces, Lecture Notes in Computer Science, Vol. 298, Springer, Berlin, 1987, pp. 236-253.
24. Smyth M.B. Totally bounded spaces and compact ordered spaces as domains of computation. Reed G.M., Roscoe A.W., Wachter R.F. Topology and Category Theory in Computer Science. 1991;207-229 Oxford University Press, Oxford.
25. Weber H. Uniform lattices I. a generalization of topological Riesz spaces and topological Boolean rings Ann. Mat. Pura Appl. 160:1991;347-370.
26. Weber H. Uniform lattices II. order continuity and exhaustivity Ann. Mat. Pura Appl. (IV). 165:1993;133-158.