9.8k citations
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali del Gran SassoIT192 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di NapoliIT128 papers
- Centre National de la Recherche ScientifiqueFR113 papers
- Université Paris CitéFR90 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT83 papers
- University of Rome Tor VergataIT79 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT78 papers
- University of PaduaIT78 papers
- University of Naples Federico IIIT75 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di GenovaIT74 papers
- Sapienza University of RomeIT71 papers
- University of GenoaIT70 papers
12 papers · 1 filter
The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
Luca Aceto, Antonis Achilleos, Aggeliki Chalki +1
This paper studies the complexity of determining whether a formula in the modal logics characterizing the nested-simulation semantics is characteristic for some process, which is e…
From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
Clemens Grabmayer
As a supplement to my talk at the workshop, this extended abstract motivates and summarizes my work with co-authors on problems in two separate areas: first, in the lambda-calculus…
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…
The Way We Were: Structural Operational Semantics Research in Perspective
Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir +1
This position paper on the (meta-)theory of Structural Operational Semantic (SOS) is motivated by the following two questions: (1) Is the (meta-)theory of SOS dying out as a resear…
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,…