23 citations · 96 across the 11 of their papers we have counts for
9 papers · 1 filter
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
Valentina Castiglioni, Daniel Gebler, Simone Tini
We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational Semantics. The purpose is to red…
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…
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…
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…
Modal Characterisations of Behavioural Pseudometrics
Yuxin Deng, Wenjie Du, Daniel Gebler
For the model of probabilistic labelled transition systems that allow for the co-existence of nondeterminism and probabilities, we present two notions of bisimulation metrics: one…
SOS rule formats for convex and abstract probabilistic bisimulations
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler
Probabilistic transition system specifications (PTSSs) in the format provide structural operational semantics for Segala-type systems that exhibit both probabilisti…