Sfoglia per Autore ACETO, LUCA
Action Refinement in Process Algebras
1992-01-01 Aceto, L
Reactive Systems: Modelling, Specification and Verification
2007-01-01 Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J
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
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt
2008-01-01 Aceto, L; Capobianco, S; Ingolfsdottir, A
A Cancellation Theorem for BCCSP
2008-01-01 Aceto, L; Fokkink, W; Ingólfsdóttir, A
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras
2008-01-01 Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling
2008-01-01 Aceto, L; Ingólfsdóttir, A; Luttik, B; van Tilburg, P
The equational theory of prebisimilarity over basic CCS with divergence
2008-01-01 Aceto, L; Capobianco, S; Ingólfsdóttir, A; Luttik, B
On the axiomatisability of priority
2008-01-01 Aceto, L; Chen, T; Fokkink, W; Ingólfsdóttir, A
On the expressibility of priority
2008-01-01 Aceto, L; Ingólfsdóttir, A
Special Issue in memory of Nadia Busi
2009-01-01 Aceto, L; Ingólfsdóttir, A
Rule Formats for Determinism and Idempotence
2009-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
Characteristic Formulae for Fixed-Point Semantics: A General Framework
2009-01-01 Aceto, L; Ingólfsdóttir, A; Sack, J
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
2009-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A
Teaching Concurrency: Theory in Practice
2009-01-01 Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J
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
Lifting non-finite axiomatizability results to extensions of process algebras
2010-01-01 Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R
Resource bisimilarity and graded bisimilarity coincide
2010-01-01 Aceto, L; Ingólfsdóttir, A; Sack, J
A Rule Format for Unit Elements
2010-01-01 Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
The Algorithmics of Bisimilarity
2011-01-01 Aceto, L; Ingólfsdóttir, A; Srba, J
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 | |
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 | |
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt | 1-gen-2008 | Aceto, L; Capobianco, S; Ingolfsdottir, A | |
A Cancellation Theorem for BCCSP | 1-gen-2008 | Aceto, L; Fokkink, W; Ingólfsdóttir, A | |
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras | 1-gen-2008 | Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R | |
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 | |
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 | |
Special Issue in memory of Nadia Busi | 1-gen-2009 | Aceto, L; Ingólfsdóttir, A | |
Rule Formats for Determinism and Idempotence | 1-gen-2009 | Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R | |
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 | |
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 | |
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 | |
The Algorithmics of Bisimilarity | 1-gen-2011 | Aceto, L; Ingólfsdóttir, A; Srba, J |
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