2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
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…