On Upper Weightable Spaces

M. Schellekens

doi:10.1111/j.1749-6632.1996.tb49180.x

On Upper Weightable Spaces

M. Schellekens

Imperial College London

Research output: Contribution to journal › Article › peer-review

Abstract

The weightable quasi-pseudo-metric spaces have been introduced by Matthews as part of the study of the denotational semantics of dataflow networks (e.g., [6] and [7]). The study of these spaces has been continued in the context of Nonsymmetric Topology by Künzi and Vajner [4], [5]. We introduce and motivate the class of upper weightable quasi-pseudo-metric spaces. The relationship with the development of a topological foundation for the complexity analysis of programs [10] is discussed, which leads to the study of the weightable optimal (quasi-pseudo-metric) join semilattices.

Original language	English
Pages (from-to)	348-363
Number of pages	16
Journal	Annals of the New York Academy of Sciences
Volume	806
DOIs	https://doi.org/10.1111/j.1749-6632.1996.tb49180.x
Publication status	Published - 1996
Externally published	Yes

Keywords

(Weightable) quasi-pseudo-metrics
Complexity
Directed partial orders
Join semilattices

Access to Document

10.1111/j.1749-6632.1996.tb49180.x

Cite this

@article{d2f60df7e4bd41d2853c295252b644e9,

title = "On Upper Weightable Spaces",

abstract = "The weightable quasi-pseudo-metric spaces have been introduced by Matthews as part of the study of the denotational semantics of dataflow networks (e.g., [6] and [7]). The study of these spaces has been continued in the context of Nonsymmetric Topology by K{\"u}nzi and Vajner [4], [5]. We introduce and motivate the class of upper weightable quasi-pseudo-metric spaces. The relationship with the development of a topological foundation for the complexity analysis of programs [10] is discussed, which leads to the study of the weightable optimal (quasi-pseudo-metric) join semilattices.",

keywords = "(Weightable) quasi-pseudo-metrics, Complexity, Directed partial orders, Join semilattices",

author = "M. Schellekens",

year = "1996",

doi = "10.1111/j.1749-6632.1996.tb49180.x",

language = "English",

volume = "806",

pages = "348--363",

journal = "Annals of the New York Academy of Sciences",

issn = "0077-8923",

publisher = "John Wiley and Sons Inc",

}

TY - JOUR

T1 - On Upper Weightable Spaces

AU - Schellekens, M.

PY - 1996

Y1 - 1996

N2 - The weightable quasi-pseudo-metric spaces have been introduced by Matthews as part of the study of the denotational semantics of dataflow networks (e.g., [6] and [7]). The study of these spaces has been continued in the context of Nonsymmetric Topology by Künzi and Vajner [4], [5]. We introduce and motivate the class of upper weightable quasi-pseudo-metric spaces. The relationship with the development of a topological foundation for the complexity analysis of programs [10] is discussed, which leads to the study of the weightable optimal (quasi-pseudo-metric) join semilattices.

AB - The weightable quasi-pseudo-metric spaces have been introduced by Matthews as part of the study of the denotational semantics of dataflow networks (e.g., [6] and [7]). The study of these spaces has been continued in the context of Nonsymmetric Topology by Künzi and Vajner [4], [5]. We introduce and motivate the class of upper weightable quasi-pseudo-metric spaces. The relationship with the development of a topological foundation for the complexity analysis of programs [10] is discussed, which leads to the study of the weightable optimal (quasi-pseudo-metric) join semilattices.

KW - (Weightable) quasi-pseudo-metrics

KW - Complexity

KW - Directed partial orders

KW - Join semilattices

UR - https://www.scopus.com/pages/publications/3142587239

U2 - 10.1111/j.1749-6632.1996.tb49180.x

DO - 10.1111/j.1749-6632.1996.tb49180.x

M3 - Article

AN - SCOPUS:3142587239

SN - 0077-8923

VL - 806

SP - 348

EP - 363

JO - Annals of the New York Academy of Sciences

JF - Annals of the New York Academy of Sciences

ER -

On Upper Weightable Spaces

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this