57 citations · 234 across the 31 of their papers we have counts for
3 papers · 2 filters
Complexity through Translations for Modal Logic with Recursion
Luca Aceto, Antonis Achilleos, Elli Anastasiadi +2
This paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular,…
On the Axiomatisation of Branching Bisimulation Congruence over CCS
Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir +1
In this paper we investigate the equational theory of (the restriction, relabelling, and recursion free fragment of) CCS modulo rooted branching bisimilarity, which is a classic, b…
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Luca Aceto, Ian Cassar, Adrian Francalanza +1
Runtime enforcement is a dynamic analysis technique that instruments a monitor with a system in order to ensure its correctness as specified by some property. This paper explores b…