11 citations · 15 across the 2 of their papers we have counts for
6 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…
Unifying the Linear Time-Branching Time Spectrum of Process Semantics
David de Frutos Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino +1
Van Glabbeek's linear time-branching time spectrum is one of the most relevant work on comparative study on process semantics, in which semantics are partially ordered by their dis…
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics
Ignacio Fábregas, David de Frutos Escrig, Miguel Palomino
Covariant-contravariant simulation and conformance simulation generalize plain simulation and try to capture the fact that it is not always the case that "the larger the number of…