23 citations · 100 across the 15 of their papers we have counts for
1 paper · 2 filters
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…