Weightable quasi-metric semigroups and semilattices

Electronic Notes in Theoretical Computer Science

Volumn 40, Issue , 2001, Pages 347-358

  Romaguera, Salvador ^a   Schellekens, Michel ^b  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTATIONAL COMPLEXITY; COMPUTER SCIENCE; FUNCTIONS; SET THEORY; THEOREM PROVING;

QUANTITATIVE DOMAIN THEORY; QUASI-METRIC SEMIGROUPS; QUASTI-PSEUDO METRIC; SEMILATTICES;

COMPUTATIONAL METHODS;

EID: 0012418087     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80061-1     Document Type: Conference Paper

References (30)

1. Birkhoff G. Lattice Theory. 25:1984;AMS Colloquium Publications, Providence, Rhode Island
2. 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. 1234:1997;33-43 Springer
3. Bukatin M.A., Shorina S.Y. Partial metrics and Co-continuous Valuations, in. Nivat M. Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science 1378. 1998;125-139 Springer-Verlag
4. Crawley P., Dilworth R.P. Algebraic Theory of Lattices. 1973;Prentice-Hall, Inc
5. Edalat A., Escardo M.H., Potts P.J. Semantics of Exact Real Arithmetic, Proceedins of 12th annual IEEE symposium on Logic in Computer Science, IEEE. 1997;248-257
6. Fletcher P., Lindgren W. Quasi-uniform spaces. Marcel Dekker, Inc., NY. 1982
7. Heckmann R. Spaces of valuations, in: Proc. llth Summer Conference on General Topology and Applications. Ann. New York Acad. Sci. 806:1996;174-200
8. Heckmann R. Approximation of Metric Spaces by Partial Metric Spaces. Applied Categorical Structures. 7:1999;71-83
9. C. Jones, G. Plotkin, A probabilistic powerdomain of evaluations. In: LICS '89, IEEE Computer Society Press, 186 - 195.
10. C. Jones, Probabilistic Non-determinism, PhD-thesis, University of Edinburgh, 1989.
11. Kopperman R. Lengths on semigroups and groups. Semigroup Forum. Vol. 25:1982;. 345 - 360
12. H. P. KÜnzi, Nonsymmetric topology, in: Proc. Szekszárd Conference, Bolyai Soc. Math. Studies 4, 1993, 303-338.
13. Kiinzi H.P., Vajner V. Weighted quasi-metrics, in: Proc. 8th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci. 728:1994;64-77
14. J. D. Lawson, Valuations on continuous lattices. In: Continuous Lattices and Related Topics (R. E. Hoffman, Ed.), Mathematik Arbeitspapiere 27. Universitat Bremen.
15. Matthews S.G. Partial metric topology, in: Proc. 8th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci. 728:1994;183-197
16. Matthews S.G. An extensional treatment of lazy data flow deadlock. Theoretical Computer Science. 151:1995;195-205
17. O'Neill S.J. Partial metrics, valuations and domain theory. Andima S., et al. Proc. 11th Summer Conference on General Topology and Applications. 806:1997;304-315 Annals New York Academy of Sciences, New York
18. S. J. O'Neill, A Fundamental Study in to the Theory and Application of the Partial Metric Spaces, PhD Thesis, University of Warwick, 1998.
19. Romaguera S., Schellekens M. Quasi-metric properties of Complexity Spaces. Topology and its Applications. 98:1999;311-322
20. S. Romaguera, M. Schellekens, Duality and quasi-normability for complexity spaces, Applied General Topology, to appear.
21. S. Romaguera, M. Schellekens, A characterization of norm-weightable Riesz spaces, preprint.
22. 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, 1995, 211-232.
23. Schellekens M.P. On upper weightable spaces, in: Proc. 11th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci. 806:1996;348-363
24. M. P. Schellekens, Complexity Spaces Revisited, extended abstract in: Proc. 8th Prague Topology Conference, Topology Atlas, 1996.
25. Schellekens M.P. Complexity Spaces: Lifting & Directedness. Topology Proceedings. 22:1999;403-425
26. M. P. Schellekens, The correspondence between partial metrics and semivaluations, Theoretical Computer Science, to appear.
27. Schellekens M.P. A characterization of partial metrizability. Domains are quantifiable, preprint. 2000
28. Smyth M.B. Totally bounded spaces and compact ordered spaces as domains of computation, in. Reed G.M., Roscoe A.W., Wachter R.F. Topology and Category Theory in Computer Science. 1991;207-229 Oxford University Press
29. Weber H. Uniform Lattices I: A generalization of topological Riesz spaces and topological Boolean Rings. Ann. Mat. Pura Appl. 160:1991;., 347 - 370.
30. Weber H. Uniform lattices II: Order continuity and exhaustivity, Ann. Mat. Pura Appl. (IV). 165:1993;133-158