57 citations · 234 across the 31 of their papers we have counts for
32 papers · 1 filter
Deciding characteristic formulae: A journey in the branching-time spectrum
Luca Aceto, Antonis Achilleos, Aggeliki Chalki +1
Characteristic formulae give a complete logical description of the behaviour of processes modulo some chosen notion of behavioural semantics. They allow one to reduce equivalence o…
The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
Luca Aceto, Antonis Achilleos, Aggeliki Chalki +1
Characteristic formulae give a complete logical description of the behaviour of processes modulo some chosen notion of behavioural semantics. They allow one to reduce equivalence o…
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…