TY  - CHAP
AU  - Fábregas Alfaro, Ignacio
AU  - Frutos Escrig, David de
AU  - Palomino, Miguel
A4  - Kurz, Alexander
A4  - Lenisa, Marina
A4  - Tarlecki, Andrzej
PY  - 2009
DO  - 10.1007/978-3-642-03741-2_16
SN  - 978-3-642-03740-5
UR  - https://hdl.handle.net/20.500.14352/53215
AB  - We present a study of the notion of coalgebraic simulation introduced by Hughes and Jacobs. Although in their original paper they allow any functorial order in their definition of coalgebraic simulation, for the simulation relations to have good...
LA  - eng
M2  - 221
PB  - Springer
KW  - Models and methods for concurrent and distributed computing (process algebras
KW  - bisimulation
KW  - transition nets
KW  - etc.)
KW  - Abstract data types
KW  - algebraic specification
TI  - Non-strongly stable orders also define interesting simulation relations
TY  - book part
ER  -