TY  - CHAP
AU  - Aceto, Luca
AU  - Fábregas Alfaro, Ignacio
AU  - Frutos Escrig, David De
AU  - Ingolfsdottir, Anna
AU  - Palomino Tarjuelo, Miguel
A4  - Arbab, Farhad
A4  - Sirjani, Marjan
PY  - 2012
DO  - 10.1007/978-3-642-29320-7_18
SN  - 978-3-642-29319-1
UR  - https://hdl.handle.net/20.500.14352/45435
AB  - This paper studies the relationships between three notions of behavioural preorder that have been proposed in the literature: refinement over modal transition systems, and the covariant-contravariant simulation and the partial bisimulation preorders...
LA  - eng
M2  - 268
PB  - Springer
TI  - Relating modal refinements, covariant-contravariant simulations and partial bisimulations
TY  - book part
ER  -