Probabilistic metric space was first introduced by Menger [6]. Later, there are many authors who have some detailed discussions and applications of a probabilistic metric space, for example, we may see Schweizer and Sklar [8]. Besides, there are many results about fixed point theorems in a probabilistic metric space with contractive types having appeared; we may see the papers [1–3, 9–12]. In t...

Discrete notions of behavioural equivalence sit uneasily with semantic models featuring quantitative data, like probabilistic transition systems. In this paper we present a pseudometric on a class of probabilistic transition systems yielding a quantitative notion of behavioural equivalence. The pseudometric is defined via the terminal coalgebra of a functor based on a metric on the space of Bor...

In this thesis we present three mathematical frameworks for the modelling of reactive probabilistic communicating processes. We first introduce generalised labelled transition systems as a model of such processes and introduce an equivalence, coarser than probabilistic bisimulation, over these systems. Two processes are identified with respect to this equivalence if, for all experiments, the pr...

In this paper we consider the so called a vector metric space, which is a generalization of metric space, where the metric is Riesz space valued. We prove some common fixed point theorems for three mappings in this space. Obtained results extend and generalize well-known comparable results in the literature.

For a class of fuzzy metric spaces (in the sense of George and Veeramani) with an H-type t-norm,  we present a method to construct a metric on a  fuzzy metric space. The induced metric space shares many important properties with the given fuzzy metric space.  Specifically, they generate the same topology, and have the same completeness. Our results can give the constructive proofs to some probl...

We show that the Hausdorff metric over constant-size pointsets in constant-dimensional Euclidean space admits an embedding into constant-dimensional `∞ space with constant distortion. More specifically for any s, d ≥ 1, we obtain an embedding of the Hausdorff metric over pointsets of size s in d-dimensional Euclidean space, into `s ∞ with distortion sO(s+d). We remark that any metric space M ad...