23 citations · 96 across the 11 of their papers we have counts for
1 paper · 1 filter
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…