57 citations · 234 across the 31 of their papers we have counts for
Showing 2011 · cs.LOShow all
2 papers · 2 filters
cs.LO2011★ 12 cited
Graphical representation of covariant-contravariant modal formulae
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…
cs.LO2011★ 7 cited
Axiomatizing GSOS with Predicates
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac +1
In this paper, we introduce an extension of the GSOS rule format with predicates such as termination, convergence and divergence. For this format we generalize the technique propos…