150 citations · 548 across the 51 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
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★ 2 cited
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures
Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
This paper concerns branching simulation for weighted Kripke structures with parametric weights. Concretely, we consider a weighted extension of branching simulation where a single…