We consider a simple divergence-free language RP for reactive processes which includes prefixing, deterministic choice, actionguarded probabilistic choice, synchronous parallel and recursion. We show that the probabilistic bisimulation of Larsen & Skou is a congruence for this language. Following the methodology introduced by de Bakker & Zucker we give denotational semantics to this language by...

we prove a related fixed point theorem for n mappings which arenot necessarily continuous in n fuzzy metric spaces using an implicit relationone of them is a sequentially compact fuzzy metric space which generalizeresults of aliouche, et al. [2], rao et al. [14] and [15].

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 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...

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.

*Correspondence: [email protected] 1Department of Mathematics, Nanchang University, Nanchang, 330031, P.R. China Full list of author information is available at the end of the article Abstract In this paper, a new concept of the common property (E.A) for two hybrid pairs of mappings is introduced in Menger PM-spaces. Utilizing this concept, some common fixed point theorems, which shed some new...

‎The aim of this paper is to establish the equivalence between the concepts‎ ‎of an $S$-metric space and a cone $S$-metric space using some topological‎ ‎approaches‎. ‎We introduce a new notion of a $TVS$-cone $S$-metric space using‎ ‎some facts about topological vector spaces‎. ‎We see that the known results on‎ ‎cone $S$-metric spaces (or $N$-cone metric spaces) can be directly obtained‎ from...