23 citations · 23 across the 2 of their papers we have counts for
2 papers
cs.LO2022
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
Valentina Castiglioni, Claudio A. Mezzina
This volume contains the proceedings of EXPRESS/SOS 2022: the Combined 29th International Workshop on Expressiveness in Concurrency and the 19th Workshop on Structural Operational…
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…