메뉴 건너뛰기




Volumn 1378, Issue , 1998, Pages 125-139

Partial metrics and co-continuous valuations

Author keywords

[No Author keywords available]

Indexed keywords

TOPOLOGY;

EID: 84947931879     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053546     Document Type: Conference Paper
Times cited : (49)

References (18)
  • 3
    • 84947923938 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 9
    • 84947980081 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 16
    • 0038751320 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • (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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.