4 papers
Logics for Contravariant Simulations
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not always the c…
Non-strongly Stable Orders Also Define Interesting Simulation Relations
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
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…
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas
Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For that we show…
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig
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…