ACETO, LUCA
ACETO, LUCA
26th International Conference on Concurrency Theory (CONCUR 2015)
2015-01-01 Aceto, L; de Frutos-Escrig, D
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue
2017-01-01 Aceto, L; Ingólfsdóttir, A
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
2009-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A
A Cancellation Theorem for BCCSP
2008-01-01 Aceto, L; Fokkink, W; Ingólfsdóttir, A
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders
2013-01-01 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
A finite equational base for CCS with left merge and communication merge
2009-01-01 Aceto, L; Fokkink, W; Ingólfsdóttir, A; Luttik, B
A Rule Format for Unit Elements
2010-01-01 Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Action Refinement in Process Algebras
1992-01-01 Aceto, L
Adventures in Monitorability: From Branching to Linear Time and Back Again
2019-01-01 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A; Lehtinen, K
Algebraic Synchronization Trees and Processes
2012-01-01 Aceto, L; Carayol, A; Ésik, Z; Ingólfsdóttir, A
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics
2013-01-01 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008
2008-01-01 Aceto, L; Damgaard, I; Goldberg, L A; Halldórsson, M M; Ingólfsdóttir, A; Walukiewicz, I
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011
2011-01-01 Aceto, L; Henzinger, M; Sgall, J
Axiomatizing GSOS with Predicates
2011-01-01 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
Axiomatizing Weak Ready Simulation Semantics over BCCSP
2011-01-01 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Axiomatizing weak simulation semantics over BCCSP
2014-01-01 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Building international doctoral schools in computer science in italy, de nicola’s way
2019-01-01 Aceto, L.; D'Angelo, G.; Flammini, M.; Inverso, O.; Iovino, L.; Trubiani, C.
Characteristic formulae for fixed-point semantics: a general framework
2012-01-01 Aceto, L; Ingólfsdóttir, A; Levy, P B; Sack, J
Characteristic Formulae for Fixed-Point Semantics: A General Framework
2009-01-01 Aceto, L; Ingólfsdóttir, A; Sack, J
Characteristic Formulae for Relations with Nested Fixed Points
2012-01-01 Aceto, L; Ingólfsdóttir, A