12 citations · 38 across the 9 of their papers we have counts for
1 paper · 1 filter
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig +2
Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical chara…