23 citations · 39 across the 2 of their papers we have counts for
2 papers
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.PL2014★ 16 cited
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators
Daniel Gebler, Simone Tini
Bisimulation metric is a robust behavioural semantics for probabilistic processes. Given any SOS specification of probabilistic processes, we provide a method to compute for each o…