ACETO, LUCA

ACETO, LUCA  

Mostra records
Risultati 1 - 20 di 97 (tempo di esecuzione: 0.006 secondi).
Titolo Data di pubblicazione Autore(i) File
26th International Conference on Concurrency Theory (CONCUR 2015) 1-gen-2015 Aceto, L; de Frutos-Escrig, D
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue 1-gen-2017 Aceto, L; Ingólfsdóttir, A
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages 1-gen-2009 Aceto, L; Cimini, M; Ingólfsdóttir, A
A Cancellation Theorem for BCCSP 1-gen-2008 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 1-gen-2013 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 1-gen-2009 Aceto, L; Fokkink, W; Ingólfsdóttir, A; Luttik, B
A Rule Format for Unit Elements 1-gen-2010 Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Action Refinement in Process Algebras 1-gen-1992 Aceto, L
Adventures in Monitorability: From Branching to Linear Time and Back Again 1-gen-2019 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A; Lehtinen, K
Algebraic Synchronization Trees and Processes 1-gen-2012 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 1-gen-2013 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008 1-gen-2008 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 1-gen-2011 Aceto, L; Henzinger, M; Sgall, J
Axiomatizing GSOS with Predicates 1-gen-2011 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
Axiomatizing Weak Ready Simulation Semantics over BCCSP 1-gen-2011 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Axiomatizing weak simulation semantics over BCCSP 1-gen-2014 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 1-gen-2019 Aceto, L.; D'Angelo, G.; Flammini, M.; Inverso, O.; Iovino, L.; Trubiani, C.
Characteristic formulae for fixed-point semantics: a general framework 1-gen-2012 Aceto, L; Ingólfsdóttir, A; Levy, P B; Sack, J
Characteristic Formulae for Fixed-Point Semantics: A General Framework 1-gen-2009 Aceto, L; Ingólfsdóttir, A; Sack, J
Characteristic Formulae for Relations with Nested Fixed Points 1-gen-2012 Aceto, L; Ingólfsdóttir, A