2026-06-08T02:43:49Zhttps://docta.ucm.es/rest/oai/request
oai:docta.ucm.es:20.500.14352/532152024-07-10T15:48:53Zcom_20.500.14352_14col_20.500.14352_21
Docta Complutense author Fábregas Alfaro, Ignacio author Frutos Escrig, David De author Palomino Tarjuelo, Miguel editor Kurz, Alexander editor Lenisa, Marina editor Tarlecki, Andrzej 2023-06-20T13:39:07Z 2023-06-20T13:39:07Z 2009 Fábregas Alfaro, I., Frutos Escrig, D. & Palomino Tarjuelo, M. «Non-strongly Stable Orders Also Define Interesting Simulation Relations». Algebra and Coalgebra in Computer Science, editado por Alexander Kurz et al., vol. 5728, Springer Berlin Heidelberg, 2009, pp. 221-35. DOI.org (Crossref), https://doi.org/10.1007/978-3-642-03741-2_16. 978-3-642-03740-5 10.1007/978-3-642-03741-2_16 https://hdl.handle.net/20.500.14352/53215 https//doi.org/10.1007/978-3-642-03741-2_16 http://link.springer.com/content/pdf/10.1007%2F978-3-642-03741-2_16 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 properties they focus their attention on functors with orders which are strongly stable. This guarantees a so-called “composition-preserving” property from which all the desired good properties follow. We have noticed that the notion of strong stability not only ensures such good properties but also “distinguishes the direction” of the simulation. For example, the classic notion of simulation for labeled transition systems, the relation “p is simulated by q”, can be defined as a coalgebraic simulation relation by means of a strongly stable order, whereas the opposite relation, “p simulates q”, cannot. Our study was motivated by some interesting classes of simulations that illustrate the application of these results: covariant-contravariant simulations and conformance simulations. eng Non-strongly stable orders also define interesting simulation relations book part URL https://docta.ucm.es/bitstreams/4d2e9d26-c603-4a8b-9de8-10431408d5a2/download File MD5 7ea8157072f67d736e2f79f6a371d981 262434 application/pdf Frutos07oficial.pdf