|
|
Publications -- what are the publications to study to find out more
more about partial metric spaces?
Relevant publications in data flow
| [Ka74] |
Gilles Kahn. The Semantics of a Simple Language for Parallel Processing.
Proc. IFIP Congress 1974, pp. 471-475, Elsevier North Holland, Amsterdam. |
| [AW77] |
E.A. Ashcroft and W.W. Wadge. Lucid, a non procedural language with iteration.
Communications of the ACM, Vol. 20, Issue 7, pp. 519-526.
Download from here. |
| [Wad81] |
W.W. Wadge. An extensional treatment of dataflow deadlock.
Theoretical Computer Science Vol. 13,
Special issue on the semantics of concurrent computation, pp. 1-15.
See TCS. |
| [WA85] |
W.W. Wadge and E.A. Ashcroft. Lucid, the dataflow programming language.
Academic Press, 1985.
|
Relevant publications in non symmetric topology
| [Vi87] |
Steve Vickers. Matthews metrics.
Unpublished notes, Imperial College,
Nov. 17th 1987. |
| [Ko88] |
Ralph Kopperman. All Topologies Come From Generalisd Metrics.
American Mathematical Monthly, Vol. 95 No.2. February 1988.
Available from JSTOR. |
Relevant publications in metric semantics
| [deBZ82] |
J.W. de Bakker and J.I. Zucker. Processes and the denotational semantics of concurrency.
Information and Control, vol. 54, pp. 70-120.
Available from ACM Portal. |
| [deBdeV96a] |
Jaco de Bakkker and Erik de Vink. Control flow semantics.
MIT Press 1996. See the
MIT catalogue. |
| [deBdeV96b] |
J.W. de Bakker and E.P. de Vink. A metric approach to control flow semantics.
In, Papers on general topology and applications,
Eleventh Summer conference on topology and its applications (held at the University of Maine),
eds. S. Andima et.al.,
Annals of the New York Academy of Sciences, Vol. 806, pp. 11-27, 1996.
Abstract |
Relevant publications in reconciling domains with metric spaces
| [Sm88] |
M. Smyth. Quasi-uniformities : Reconciling domains with metric spaces.
in Mathematical Foundations of Programming Language Semantics,
3rd Workshop, Tulane 1997, LNCS 298 (M.Main et.al., Eds.),
Springer. Berlin. pp. 236-253. |
| [Wag94] |
Kim Ritter Wagner. Solving recursive domain equations with enriched categories.
PhD thesis, CMU-CS-94-159, Carnegie Mellon University, 1994.
Available in postscript from
CMU, and here. |
| [Sch95] |
Michel Schellekens. The Smyth completion : a common foundation for denotational
semantics and complexity analysis.
Electronic Notes in Theoretical Computer Science 1 (1995).
Available from Science Direct. |
| [Wag97] |
Kim Ritter Wagner. Liminf convergence in Omega-categories.
Theoretical Computer Science 184 (1997) pp. 61-104.
Available from TCS. |
Published work pertaining to partial metric spaces
| [Mat85] |
S.G. Matthews. Metric domains for completeness.
PhD thesis, Univeristy of Warwick, 1985. |
| [Mat92] |
S.G. Matthews. Partial metric topology.
Research Report 212. Dept. of Computer Science. University of Warwick, 1992. |
| [Mat94] |
S.G. Matthews. Partial metric topology.
In, General Topology & its Applications. Proc. 8th Summer
Conf., Queen's College (1992). Annals of the New York
Academy of Sciences Vol. 728 (1994), pp. 183-197.
Available in postscript and pdf formats.
| | [KV94] |
Hans-Peter Künzi and Václav Vajner. Weighted quasi-metrics.
In, General Topology & its Applications. Proc. 8th Summer
Conf., Queen's College (1992). Annals of the New York
Academy of Sciences Vol. 728 (1994), pp. 64-77.
Abstract |
| [Mat95] |
S.G. Matthews. An extensional treatment of lazy data flow deadlock.
Theoretical Computer Science 151, No. 1, pp. 195-205.
Available from TCS. |
| [O95a] |
S. J. O'Neil. Two topologies are better than one.
Research Report 283, Dept. of Computer Science, University of Warwick, 1995.
Available here. |
| [O95b] |
S.J. O'Neil. Partial metrics, valuations, and domain theory.
Research Report 293, Dept. of Computer Science, University of Warwick, 1995.
Available here. |
| [O96] |
S.J. O'Neil. Partial metrics, valuations, and domain theory.
In, Papers on general topology and applications.
Eleventh Summer conference (held at the University of Maine), eds. S. Andima et.al.,
Annals of the New York Academy of Sciences, Vol. 806, 1996.
Abstract. |
| [O98] |
Simon John O'Neil.
A fundamental study into the theory and application of the partial metric spaces.
PhD thesis, University of Warwick, 1998. |
| [BS98] |
Michael A. Bukatin, Svetlana Yu. Shorina.
Partial metrics and co-continuous valuations.
In, Foundations of software science and computation structure.
Lecture Notes in Computer Science 1378, eds. M. Nivat et.al., pp. 125-139. Springer, 1998.
Available from Bukatin's page in
thesis.ps.gz format. |
| [He99] |
Reinhold Heckann.
Approximation of metric spaces by partial metric spaces.
Applied Categorical Structures 7(1-2), pp. 71-83, 1999.
Available from SpringerLink.
Abstract.
Also available from
Domain Theory (Reinhold Heckmann). |
| [Was01] |
Pawel Waszkiewicz. Distance and measurement in domain theory.
Electronic Notes in Theoretical computer science.
Vol 40, 2001.
Available from Pawel's home page. |
| [Was02] |
Pawel Waszkiewicz. Quantitative continuous domains.
School of Computer Scicence, University of Birmingham, UK, 2002.
Available from Pawel's home page. |
| [Was03a] |
Pawel Waszkiewicz. The local triangle axiom in topology and domain theory.
Applied General Topology 4(1) pp.47-70.
Available from AGT, or
from Pawel's home page. |
| [Was03b] |
Pawel Waszkiewicz. Quantitative Continuous domains.
Applied Categorical Structures 11(1), pp 41-67, 2003.
Available from SpringerLink, or from
Pawel's home page. |
| [Sch03a] |
Michel Schellekens. A characetrization of partial metrizability.
Theoretical computer Science 305, pp. 409-432, 2003.
Available from ScienceDirect. |
| [Sch03b] |
Michel Schellekens. A characterization of partial metrizability :
domains are quantifiable.
Theoretical Computer Science 305, 409 - 432, 2003.
Available from : ScienceDirect. |
| [Sch04] |
Michel Schellekens. The correspondence between partial metrics and semivaluations.
Theoretical Computer Science 315, pp. 135-149, 2004.
Available from ScienceDirect. |
| [KMP04] |
R. Kopperman, S. Matthews, and H.Pajoohesh.
Partial metrizability in value quantales.
Applied General Topology 5(1), pp. 115-127, 2004.
Available from AGT,
or here |
| [Sm05] |
Michael B. Smyth.
The Constructive Maximal Point Space and Partial Metrizability.
Available from Mike's home page
| | [Va05] |
Oscar Valero,
On Banach fixed point theorems for partial metric spaces
Applied General Topology 6(2), pp. 229-240, 2005.
Available from AGT |
Publications relating to partial metric spaces
| [Bu02] |
Michael Bukatin. Mathematics of Domains.
PhD thesis, Brandeis University, 2002.
Available from Bukatin's page and
here. |
| [Mar03] |
Keye Martin. A triangle inequality for measurement.
Applied Categorical Structures 11(1), pp. 27-40, 2003.
Available from SpringerLink. |
Suggested background reading
| [Pi91] |
Benjamin C. Pierce. Basic category theory for computer scientists.
MIT Press 1991. See the
MIT catalogue |
| [Ke55] |
John L. Kelley. General topology. University series in mathematics,
D. van Nostrand.
Also as Springer graduate text in mathematics Vol. 27.
See Springer. |
| [Su75] |
Wilson A. Sutherland. Introduction to metric and topological spaces.
Oxford University Press 1975.
See the OUP catalogue. |
| [AJ94] |
Samson Abramsky and Achim Jung. Domain Theory.
In, Handook of Logic in Computer Science, Vol. III,
Clarendon Press, 1994, pp. 1-168.
Updated version available online from Achim's
publications. |
| [Sch02] |
Michel Schellekens.
ERCIM news : quantitative domain theory. |
|
|
|
