Aceto, Luca

• BRICS Report Series No. 26 (1997): RS-26 A Characterization of Finitary Bisimulation - Articles
  A Characterization of Finitary Bisimulation
  Abstract  PDF
• BRICS Report Series No. 29 (1997): RS-29 Model Checking via Reachability Testing for Timed Automata - Articles
  Model Checking via Reachability Testing for Timed Automata
  Abstract  PDF
• BRICS Report Series No. 48 (1998): RS-48 The Power of Reachability Testing for Timed Automata - Articles
  The Power of Reachability Testing for Timed Automata
  Abstract  PDF
• BRICS Report Series No. 49 (1998): RS-49 A Cook’s Tour of Equational Axiomatizations for Prefix Iteration - Articles
  A Cook’s Tour of Equational Axiomatizations for Prefix Iteration
  Abstract  PDF
• BRICS Report Series No. 50 (1998): RS-50 Testing Hennessy-Milner Logic with Recursion - Articles
  Testing Hennessy-Milner Logic with Recursion
  Abstract  PDF
• BRICS Report Series No. 5 (1995): RS-05 A Complete Equational Axiomatization for Prefix Iteration with Silent Steps - Articles
  A Complete Equational Axiomatization for Prefix Iteration with Silent Steps
  Abstract  PDF
• BRICS Report Series No. 28 (1995): RS-28 A Complete Equational Axiomatization for MPA with String Iteration - Articles
  A Complete Equational Axiomatization for MPA with String Iteration
  Abstract  PDF
• BRICS Report Series No. 56 (1995): RS-56 Axiomatizing Prefix Iteration with Silent Steps - Articles
  Axiomatizing Prefix Iteration with Silent Steps
  Abstract  PDF
• BRICS Report Series No. 59 (1995): RS-59 On the Finitary Bisimulation - Articles
  On the Finitary Bisimulation
  Abstract  PDF
• BRICS Report Series No. 22 (1996): RS-22 An Equational Axiomatization for Multi-Exit Iteration - Articles
  An Equational Axiomatization for Multi-Exit Iteration
  Abstract  PDF
• BRICS Report Series No. 23 (1996): RS-23 A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces - Articles
  A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces
  Abstract  PDF
• BRICS Report Series No. 36 (1996): RS-36 On a Question of A. Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitel - Articles
  On a Question of Arto Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based
  Abstract  PDF
• BRICS Report Series No. 24 (1999): RS-24 Conservative Extension in Structural Operational Semantics - Articles
  Conservative Extension in Structural Operational Semantics
  Abstract  PDF
• BRICS Report Series No. 30 (1999): RS-30 Structural Operational Semantics - Articles
  Structural Operational Semantics
  Abstract  PDF
• BRICS Report Series No. 32 (1999): RS-32 Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics - Articles
  Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics
  Abstract  PDF
• BRICS Report Series No. 33 (1999): RS-33 The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis - Articles
  The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis
  Abstract  PDF
• BRICS Report Series No. 20 (2000): RS-20 2-Nested Simulation is not Finitely Equationally Axiomatizable - Articles
  2-Nested Simulation is not Finitely Equationally Axiomatizable
  Abstract  PDF
• BRICS Report Series No. 22 (1999): RS-22 On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers - Articles
  On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers
  Abstract  PDF
• BRICS Report Series No. 23 (2000): RS-23 Characteristic Formulae for Timed Automata - Articles
  Characteristic Formulae for Timed Automata
  Abstract  PDF
• BRICS Report Series No. 43 (1994): RS-43 A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version) - Articles
  A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version)
  Abstract  PDF
• BRICS Report Series No. 40 (1994): RS-40 CPO Models for GSOS Languages - Part I: Compact GSOS Languages - Articles
  CPO Models for GSOS Languages - Part I: Compact GSOS Languages
  Abstract  PDF
• BRICS Report Series No. 6 (2002): RS-6 Equational Axioms for Probabilistic Bisimilarity (Preliminary Report) - Articles
  Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)
  Abstract  PDF
• BRICS Report Series No. 21 (2001): RS-21 Equational Theories of Tropical Semirings - Articles
  Equational Theories of Tropical Semirings
  Abstract  PDF
• BRICS Report Series No. 40 (2002): RS-40 A Note on an Expressiveness Hierarchy for Multi-exit Iteration - Articles
  A Note on an Expressiveness Hierarchy for Multi-exit Iteration
  Abstract  PDF
• BRICS Report Series No. 28 (2001): RS-28 A Fully Equational Proof of Parikh's Theorem - Articles
  A Fully Equational Proof of Parikh's Theorem
  Abstract  PDF
• BRICS Report Series No. 42 (2002): RS-42 Checking Consistency of Pedigree Information is NP-complete (Preliminary Report) - Articles
  Checking Consistency of Pedigree Information is NP-complete (Preliminary Report)
  Abstract  PDF
• BRICS Report Series No. 1 (2004): RS-1 Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge - Articles
  Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
  Abstract  PDF
• BRICS Report Series No. 17 (2003): RS-17 The Complexity of Checking Consistency of Pedigree Information and Related Problems - Articles
  The Complexity of Checking Consistency of Pedigree Information and Related Problems
  Abstract  PDF
• BRICS Report Series No. 24 (2004): RS-24 Bisimilarity is not Finitely Based over BPA with Interrupt - Articles
  Bisimilarity is not Finitely Based over BPA with Interrupt
  Abstract  PDF
• BRICS Report Series No. 27 (2003): RS-27 Nested Semantics over Finite Trees are Equationally Hard - Articles
  Nested Semantics over Finite Trees are Equationally Hard
  Abstract  PDF
• BRICS Report Series No. 34 (2003): RS-34 CCS with Hennessy's Merge has no Finite Equational Axiomatization - Articles
  CCS with Hennessy's Merge has no Finite Equational Axiomatization
  Abstract  PDF
• BRICS Report Series No. 19 (2005): RS-19 Finite Equational Bases in Process Algebra: Results and Open Questions - Articles
  Finite Equational Bases in Process Algebra: Results and Open Questions
  Abstract  PDF
• BRICS Report Series No. 33 (2005): RS-33 Bisimilarity is not Finitely Based over BPA with Interrupt - Articles
  Bisimilarity is not Finitely Based over BPA with Interrupt
  Abstract  PDF
• BRICS Report Series No. 1 (2006): RS-1 On the Axiomatizability of Priority - Articles
  On the Axiomatizability of Priority
  Abstract  PDF
• BRICS Report Series No. 6 (2006): RS-6 A Finite Equational Base for CCS with Left Merge and Communication Merge - Articles
  A Finite Equational Base for CCS with Left Merge and Communication Merge
  Abstract  PDF
• BRICS Report Series No. 2 (2007): RS-2 Characteristic Formulae: From Automata to Logic - Articles
  Characteristic Formulae: From Automata to Logic
  Abstract  PDF
• BRICS Report Series No. 3 (2007): RS-3 Ready To Preorder: Get Your BCCSP Axiomatization for Free! - Articles
  Ready To Preorder: Get Your BCCSP Axiomatization for Free!
  Abstract  PDF
• BRICS Report Series No. 5 (2007): RS-5 On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt - Articles
  On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt
  Abstract  PDF
• BRICS Report Series No. 17 (2007): RS-17 Not published - Articles
  A Cancellation Theorem for BCCSP
  Abstract
• BRICS Report Series No. 11 (2007): RS-11 The Saga of the Axiomatization of Parallel Composition - Articles
  The Saga of the Axiomatization of Parallel Composition
  Abstract  PDF