TY - CHAP AU - Fábregas Alfaro, Ignacio AU - Palomino Tarjuelo, Miguel AU - Frutos Escrig, David De A4 - Jones, Cliff B. A4 - Zhimming, Liu A4 - Woodcock, Jim PY - 2008 DO - 10.1007/978-3-540-75292-9_16 SN - 978-3-540-75290-5 UR - https://hdl.handle.net/20.500.14352/53223 AB - Our objective is to extend the standard results of preservation and reflection of properties by bisimulations to the coalgebraic setting, as well as to study under what conditions these results hold for simulations. The notion of bisimulation is the... LA - eng M2 - 231 PB - Springer TI - Reflection and Preservation of Properties in Coalgebraic (bi)Simulations TY - book part ER -