23 citations · 96 across the 11 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015★ 2 cited
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…
cs.LO2015★ 3 cited
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…
cs.LO2015
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics
Silvia Crafa, Daniel E. Gebler
This volume contains the proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS…