23 citations · 100 across the 15 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 23 cited
Logical Characterization of Bisimulation Metrics
Valentina Castiglioni, Daniel Gebler, Simone Tini
Bisimulation metrics provide a robust and accurate approach to study the behavior of nondeterministic probabilistic processes. In this paper, we propose a logical characterization…
cs.LO2016★ 13 cited
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Daniel Gebler, Kim G. Larsen, Simone Tini
We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. We argue that uniform continuity…