150 citations · 548 across the 51 of their papers we have counts for
3 papers · 1 filter
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…
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…
WNetKAT: A Weighted SDN Programming and Verification Language
Kim G. Larsen, Stefan Schmid, Bingtian Xue
Programmability and verifiability lie at the heart of the software-defined networking paradigm. While OpenFlow and its match-action concept provide primitive operations to manipula…