ACETO, LUCA

ACETO, LUCA  

Mostra records
Risultati 1 - 20 di 97 (tempo di esecuzione: 0.024 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 complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases 1-gen-2016 Aceto, L; Della Monica, D; Goranko, V; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 1-gen-2015 Aceto, L; Larsen, K G; Morichetta, A; Tiezzi, F
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 Foundation for Runtime Monitoring 1-gen-2017 Francalanza, A; Aceto, L; Achilleos, A; Attard, D P; Cassar, I; Della Monica, D; Ingólfsdóttir, A
A Framework for Parameterized Monitorability. 1-gen-2018 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A
A Generic Instrumentation Tool for Erlang 1-gen-2017 Cassar, ; Francalanza, A; Attard, D P; Aceto, L; Ingólfsdóttir, A
A ground-complete axiomatization of stateless bisimilarity over Linda 1-gen-2015 Aceto, L; Goriac, E; Ingólfsdóttir, A
A Rule Format for Unit Elements 1-gen-2010 Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
A Runtime Monitoring Tool for Actor-Based Systems 1-gen-2017 Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
A Suite of Monitoring Tools for Erlang 1-gen-2017 Cassar, I; Francalanza, A; Attard, D P; Aceto, L; Ingólfsdóttir, A
A Survey of Runtime Monitoring Instrumentation Techniques 1-gen-2017 Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
A unified rule format for bounded nondeterminism in SOS with terms as labels 1-gen-2017 Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, 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