12 citations · 38 across the 9 of their papers we have counts for
14 papers
Logical characterisations, rule formats and compositionality for input-output conformance simulation
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez +1
Input-output conformance simulation (iocos) has been proposed by Gregorio-Rodríguez, Llana and Martínez-Torres as a simulation-based behavioural preorder underlying model-based tes…
When Are Prime Formulae Characteristic?
Luca Aceto, Dario Della Monica, Ignacio Fábregas +1
In the setting of the modal logic that characterizes modal refinement over modal transition systems, Boudol and Larsen showed that the formulae for which model checking can be redu…
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…
A unified rule format for bounded nondeterminism in SOS with terms as labels
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez +1
We present a unified rule format for structural operational semantics with terms as labels that guarantees that the associated labelled transition system has some bounded-nondeterm…
Rule Formats for Nominal Process Calculi
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez +2
The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition syst…
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…
On Algebraic Abstractions for Concurrent Separation Logics
František Farka, Aleksandar Nanevski, Anindya Banerjee +2
Concurrent separation logic is distinguished by transfer of state ownership upon parallel composition and framing. The algebraic structure that underpins ownership transfer is that…
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco +1
In addition to pre- and postconditions, program specifications in recent separation logics for concurrency have employed an algebraic structure of resources---a form of state trans…
Rule Formats for Nominal Process Calculi
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez +2
The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition syst…
Graphical representation of covariant-contravariant modal formulae
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig +2
Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical chara…
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…