On Upper Weightable Spaces
Michel Schellekens · Annals of the New York Academy of Sciences · 1996
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‐pseudometric 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.