TY  - RPRT
TI  - Logical characterisations, rule formats and compositionality for input-output conformance simulation
AU  - Luca Aceto
AU  - Ignacio Fábregas
AU  - Carlos Gregorio-Rodríguez
AU  - Anna Ingólfsdóttir
PY  - 2024
DO  - 10.1016/j.jlamp.2019.04.005
UR  - https://arxiv.org/abs/2402.00973
ID  - 2402.00973
ER  -