7 citations · 7 across the 1 of their papers we have counts for
5 papers
On the specification of modal systems: A comparison of three frameworks
Luca Aceto, Ignacio Fábregas, David de Frutos Escrig +2
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 cova…
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…