SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Annals of the New York Academy of Sciences

Volumn 728, Issue 1, 1994, Pages 183-197

Partial Metric Topology

(1) MATTHEWS, S G a

a UNIVERSITY OF WARWICK (United Kingdom)

Author keywords

metric; partial metric; partial order; quasi metric

Indexed keywords

COMPUTER LANGUAGE; COMPUTER PROGRAM; CONFERENCE PAPER; MATHEMATICAL ANALYSIS;

EID: 0028558872 PISSN: 00778923 EISSN: 17496632 Source Type: Book Series
DOI: 10.1111/j.1749-6632.1994.tb44144.x Document Type: Article

Times cited : (987)

References (16)

1
- 0020150574
- Processes and the Denotational Semantics of Concurrency
- (1982) Information & Control. , vol.54 , pp. 70-120
- de Bakker, J.W.¹ Zucker, J.I.²

2
- 0004011095
- Springer Verlag,. New York
- (1980) A Compendium of Continuous Lattices
- Gierz, G.¹ Hoffmann, K.H.² Keimel, K.³ Lawson, J.D.⁴ Mislove, M.⁵ Scott, D.S.⁶

3
- 0004072372
- Cambridge University Press,. New York
- (1982) Stone Spaces
- Johnstone, P.T.¹

4
- 0000087207
- Proc. IFIP Congress 74, pp., Elsevier North‐Holland, Amsterdam
- (1974) The Semantics of a Simple Language for Parallel Processing , pp. 471-475
- Kahn, G.¹

5
- 0003050091
- All Topologies come from Generalised Metrics
- (1988) The American Mathematical Monthly , vol.95 , Issue.2
- Kopperman, R.¹

6
- 33645319047
- Preprint. University of Berne, Berne, Switzerland
- (1993) Weighted Quasi‐metrics
- Kunzi, H.P.A.¹ Vajner, V.²

7
- 0003798201
- University Series in Mathematics. D. van Nostrand
- (1955) General Topology
- Kelley, J.L.¹

8
- 84994932477
- The Versatile Continuous Order, Mathematical Foundations of Programming Language Semantics, 3rd Workshop. Tulane 1987
- M. Main et al., Springer Verlag, New York
- (1988) Lecture Notes in Computer Science 298
- Lawson, J.D.¹

9
- 84921888066
- Partial Metric Spaces. 8th British Colloquium for Theoretical Computer Science, March 1992
- Dept. of Computer Science, University of Warwick
- (1992) Research Report 212
- Matthews, S.G.¹

10
- 77951887758
- Research Report 222., Dept. of Computer Science, University of Warwick
- (1992) The Cycle Contraction Mapping Theorem
- Matthews, S.G.¹

11
- 85034837164
- Quasi‐Uniformities: Reconciling Domains with Metric Spaces. Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane 1987
- M. Main et al., Springer Verlag,. New York
- (1988) Lecture Notes in Computer Science 298
- Smyth, M.B.¹

12
- 0003652629
- MIT Press,. Cambridge, Massachusetts
- (1977) Denotational Semantics: The Scott‐Strachey Approach to Programming Language Theory
- Stoy, J.E.¹

13
- 84972541021
- A Lattice‐Theoretic Fixpoint Theorem and its Applications
- (1955) Pacific Journal of Mathematics , vol.5 , pp. 285-309
- Tarski, A.¹

14
- 0002905490
- An Extensional Treatment of Dataflow Deadlock
- (1981) Theoretical Computer Science. , vol.13 , Issue.1 , pp. 3-15
- Wadge, W.W.¹

15
- 0003763496
- APIC Studies in Data Processing No. 22., Academic Press,. New York
- (1985) Lucid, the Dataflow Programming Language
- Wadge, W.W.¹ Ashcroft, E.A.²

16
- 84994972767
- Unpublished notes. Imperial College, UK
- (1987) Matthews Metrics
- Vickers, S.¹

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