23 citations · 96 across the 11 of their papers we have counts for
Showing 2016Show all
3 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…
cs.LO2016
Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics
Daniel Gebler, Kirstin Peters
This volume contains the proceedings of the Combined 23nd International Workshop on Expressiveness in Concurrency and the 13th Workshop on Structural Operational Semantics (EXPRESS…