IRIS

Sfoglia per Autore  ACETO, LUCA

Opzioni
Mostrati risultati da 1 a 20 di 97
Titolo Data di pubblicazione Autore(i) File
Action Refinement in Process Algebras 1-gen-1992 Aceto, L
Reactive Systems: Modelling, Specification and Verification 1-gen-2007 Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J
The equational theory of prebisimilarity over basic CCS with divergence 1-gen-2008 Aceto, L; Capobianco, S; Ingólfsdóttir, A; Luttik, B
On the axiomatisability of priority 1-gen-2008 Aceto, L; Chen, T; Fokkink, W; Ingólfsdóttir, A
On the expressibility of priority 1-gen-2008 Aceto, L; Ingólfsdóttir, A
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt 1-gen-2008 Aceto, L; Capobianco, S; Ingolfsdottir, A
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
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras 1-gen-2008 Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R
A Cancellation Theorem for BCCSP 1-gen-2008 Aceto, L; Fokkink, W; Ingólfsdóttir, A
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling 1-gen-2008 Aceto, L; Ingólfsdóttir, A; Luttik, B; van Tilburg, P
Characteristic Formulae for Fixed-Point Semantics: A General Framework 1-gen-2009 Aceto, L; Ingólfsdóttir, A; Sack, J
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages 1-gen-2009 Aceto, L; Cimini, M; Ingólfsdóttir, A
Teaching Concurrency: Theory in Practice 1-gen-2009 Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J
Special Issue in memory of Nadia Busi 1-gen-2009 Aceto, L; Ingólfsdóttir, A
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
Rule Formats for Determinism and Idempotence 1-gen-2009 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
Lifting non-finite axiomatizability results to extensions of process algebras 1-gen-2010 Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R
Resource bisimilarity and graded bisimilarity coincide 1-gen-2010 Aceto, L; Ingólfsdóttir, A; Sack, J
A Rule Format for Unit Elements 1-gen-2010 Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet 1-gen-2011 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Mostrati risultati da 1 a 20 di 97
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile