A quasi-metric computational model from modular functions on monoids

References

• de Bakker , J. W. and de Vink , E. P. 1996 . Control Flow Semantics , Cambridge, Massachusetts : The MIT Press .
   Google Scholar
• de Bakker , J. W. and de Vink , E. P. 1996 . A metric approach to control flow semantics . Ann. N.Y. Acad. Sci. , 806 : 11 – 27 .
   Google Scholar
• de Bakker , J. W. and de Vink , E. P. 1998 . Denotational models for programming languages: Applications of Banach's fixed point theorem . Topology Appl. , 85 : 35 – 52 .
   Web of Science ®Google Scholar
• Escardó , M. H. 1996 . PCF extended with real numbers . Theoret. Comput. Sci. , 162 : 79 – 115 .
   Google Scholar
• Escardó , M. H. 1998 . Introduction to real PCF . 1998 , Paris. Notes for an invited speech at the 3rd Real Numbers and Computers Conference (RNC3), l'Universite Pierre et Marie Cur , Available at: http://www.cs.bham.ac.uk/~mhe/papers.html
   Google Scholar
• Fuchssteiner , B. and Lusky , W. 1981 . Convex Cones , Amsterdam : North-Holland .
   Google Scholar
• Gierz , G. , Hofmann , K. H. , Keimel , K. , Lawson , J. D. , Mislove , M. and Scott , D. S. 2003 . Continuous Lattices and Domains , Cambridge : Cambridge University Press . Encyclopedia of Mathematics and its Applications Vol. 93
   Google Scholar
• Kahn , G. 1974 . The semantics of a simple language for parallel processing , 471 – 475 . Amsterdam : Elsevier, North-Holland . Proceedings of the IFIP Congress 74
   Google Scholar
• Künzi , H. P.A. 1993 . Nonsymmetric topology , 303 – 338 . Budapest, , Hungary : János Bolyai Mathematical Society . Proc. Szekszárd Conference, Bolyai Soc. Math. Studies, Vol. 4, (Budapest 1995)
   Google Scholar
• Lecomte , P. and Rigo , M. 2002 . On the representation of real numbers using regular languages . Theory Comput. Syst. , 35 : 13 – 38 .
   Google Scholar
• Martin , K. 2002 . Powerdomains and zero finding . Electron. Notes Theor. Comput. Sci. , 59 : 173 – 184 .
   Google Scholar
• Martin , K. The Measurement Process in Domain Theory , 116 – 126 . London : Springer-Verlag . Proceedings of the 27th ICALP, Lecture Notes in Comput. Sci., Vol. 1853
   Google Scholar
• Matthews , S. G. 1994 . Partial Metric Topology 183 – 197 . Proceedings of the 8th Summer Conference on General Topology and its Applications. Ann. N.Y. Acad. Sci. 728
   Google Scholar
• Moore , R. E. 1979 . Methods and Applications of Interval Analysis , Philadelphia : SIAM studies in Applied Mathematics, Society for Industrial and Applied Mathematics .
   Google Scholar
• Nachbin , L. 1965 . Topology and Order , New York : D. Van Nostrand Company .
   Google Scholar
• Perrin , D. and Pin , J. E. 2004 . Infinite Words: Automata, Semigroups, Logic and Games , Pure and Applied Mathematics Series Vol. 141 , London : Elsevier Acadamic Press .
   Google Scholar
• Rodríguez-López , J. , Romaguera , S. and Valero , O. 2008 . Denotational semantics for programming languages, balanced quasi-metrics and fixed points . Int. J. Comput. Math. , 85 : 623 – 630 .
   Web of Science ®Google Scholar
• Romaguera , S. , Sapena , A. and Tirado , P. 2007 . The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words . Topology Appl. , 154 : 2196 – 2203 .
   Web of Science ®Google Scholar
• Romaguera , S. and Schellekens , M. 2005 . Partial metric monoids and semivaluation spaces . Topology Appl. , 153 : 948 – 962 .
   Google Scholar
• Romaguera , S. and Valero , O. 2008 . On the structure of the space of complexity partial functions . Int. J. Comput. Math. , 85 : 631 – 640 .
   Web of Science ®Google Scholar
• Schellekens , M. P. 2003 . A characterization of partial metrizability. Domains are quantifiable . Theoret. Comput. Sci. , 305 : 409 – 432 .
   Google Scholar
• Waskiewicz , P. 2003 . Quantitative continuous domains . Appl. Categorical Structures , 11 : 41 – 67 .
   Google Scholar
• Waskiewicz , P. 2006 . Partial metrisability of continuous posets . Math. Structures Comput. Sci. , 16 : 359 – 372 .
   Google Scholar