Behavioural distances provide a fine-grained measure of equivalence in systems involving
quantitative data, such as probabilistic, fuzzy, or metric systems. Like in the classical setting …

Behavioral equivalences were introduced as a simple and elegant proof methodology for
establishing whether the behavior of two processes cannot be distinguished by an external …

We study which standard operators of probabilistic process calculi allow for compositional
reasoning with respect to bisimulation metric semantics. We argue that uniform continuity …

For the model of probabilistic labelled transition systems that allow for the co-existence of
nondeterminism and probabilities, we present two notions of bisimulation metrics: one is …

Behavioral metric semantics provide formal notions to compare probabilistic systems, giving
a notion of behavioral distance characterizing how far the behavior of two systems is apart …

In systems involving quantitative data, such as probabilistic, fuzzy, or metric systems,
behavioural distances provide a more fine-grained comparison of states than twovalued …

Behavioural equivalences can be characterized via bisimulations, modal logics and spoiler-
defender games. In this paper we review these three perspectives in a coalgebraic setting …

Behavioural metrics provide a quantitative refinement of classical two-valued behavioural
equivalences on systems with quantitative data, such as metric or probabilistic transition …

Since the seminal paper by Bloom, Fokkink and van Glabbeek, the Divide and Congruence
technique allows for the derivation of compositional properties of nondeterministic …

The combination of nondeterminism and probability in concurrent systems lead to the
development of several interpretations of process behavior. If we restrict our attention to …