5 citations · 10 across the 7 of their papers we have counts for
Showing 2021 · cs.GTShow all
2 papers · 2 filters
cs.GT2021★ 5 cited
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Benjamin Bisping, David N. Jansen, Uwe Nestmann
We introduce a generalization of the bisimulation game that finds distinguishing Hennessy-Milner logic formulas from every finitary, subformula-closed language in van Glabbeek's li…
cs.GT2021★ 2 cited
A Game Characterization for Contrasimilarity
Benjamin Bisping, Luisa Montanari
We present the first game characterization of contrasimilarity, the weakest form of bisimilarity. The game is finite for finite-state processes and can thus be used for contrasimul…