Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. Logical characterisations, rule formats and compositionality for input-output conformance simulation. Journal of Logic and Algebraic Programming, 106:78-106, 2019. [doi]
Abstract is missing.