| Select a publication |
| Show |
Title |
Venue |
Rating |
Date |
|
Journal article
Luca Aceto, Monika Rauch Henzinger, Jiri Sgall.
38th International Colloquium on Automata, Languages and Programming.
|
Inf. Comput. 2013, Volume 222 |
 (0)
|
2013 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack.
Compositional Reasoning for Multi-modal Logics.
|
Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings 2013 |
(0)
|
2013 |
|
|
Conference paper
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir.
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators.
|
SOFSEM 2013 |
(0)
|
2013 |
|
|
Conference paper
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir.
The Equational Theory of Weak Complete Simulation Semantics over BCCSP.
|
SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, ?pindler?v Mlýn, Czech Republic, January 21-27, 2012. Proceedings 2012 |
(0)
|
2012 |
|
|
Conference paper
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
Rule formats for determinism and idempotence.
|
Sci. Comput. Program. 2012, Volume 77 |
(0)
|
2012 |
|
|
Conference paper
Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir.
Algebraic Synchronization Trees and Processes.
|
Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II 2012 |
(0)
|
2012 |
|
|
Journal article
Luca Aceto, Anna Ingólfsdóttir.
Characteristic Formulae for Relations with Nested Fixed Points
|
Proceedings 8th Workshop on Fixed Points in Computer Science 2012, Volume 77 |
(0)
|
2012 |
|
|
Journal article
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir.
Proving the validity of equations in GSOS languages using rule-matching bisimilarity.
|
Mathematical Structures in Computer Science 2012, Volume 22 |
(0)
|
2012 |
|
|
Journal article
Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack.
Characteristic formulae for fixed-point semantics: a general framework.
|
Mathematical Structures in Computer Science 2012, Volume 22 |
(0)
|
2012 |
|
|
Journal article
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
Rule formats for distributivity.
|
Theor. Comput. Sci. 2012, Volume 458 |
(0)
|
2012 |
|
|
Conference paper
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir.
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet.
|
Inf. Process. Lett. 2010, Volume 111 |
(0)
|
2011 |
|
|
Conference paper
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
Rule Formats for Distributivity.
|
Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings 2011 |
(0)
|
2011 |
|
|
Conference paper
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
SOS rule formats for zero and unit elements.
|
Theor. Comput. Sci. 2011, Volume 412 |
(0)
|
2011 |
|
|
Conference paper
Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol.
On the axiomatizability of priority II.
|
Theor. Comput. Sci. 2011, Volume 412 |
(0)
|
2011 |
|
|
Conference paper
Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack.
Sigma algebras in probabilistic epistemic dynamics.
|
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011 2011 |
(0)
|
2011 |
|
|
Conference paper
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir.
Axiomatizing Weak Ready Simulation Semantics over BCCSP.
|
Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings 2011 |
(0)
|
2011 |
|
|
Conference paper
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir.
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates.
|
Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings 2011 |
(0)
|
2011 |
|
|
Journal article
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani.
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
|
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures 2011, Volume 58 |
(0)
|
2011 |
|
|
Journal article
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir.
Axiomatizing GSOS with Predicates
|
Proceedings Eight Workshop on Structural Operational Semantics 2011 2011, Volume 62 |
(0)
|
2011 |
|
|
Journal article
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino.
Graphical representation of covariant-contravariant modal formulae
|
Proceedings 18th International Workshop on Expressiveness in Concurrency 2011, Volume 64 |
(0)
|
2011 |
|
|
Journal article
Luca Aceto.
The Concurrency Column.
|
Bulletin of the EATCS 2011, Volume 105 |
(0)
|
2011 |
|
|
Conference paper
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi.
Decompositional Reasoning about the History of Parallel Processes.
|
Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers 2012 |
(0)
|
2011 |
|
|
Conference paper
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino.
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.
|
Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers 2012 |
(0)
|
2011 |
|
|
Journal article
Luca Aceto, Pawel Sobocinski.
Proceedings Seventh Workshop on Structural Operational Semantics
|
CoRR 2010, Volume 0 |
(0)
|
2010 |
|
|
Journal article
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
On Rule Formats for Zero and Unit Elements.
|
Electr. Notes Theor. Comput. Sci. 2010, Volume 265 |
(0)
|
2010 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi.
Lifting non-finite axiomatizability results to extensions of process algebras.
|
Acta Inf. 2010, Volume 47 |
(0)
|
2010 |
|
|
Journal article
Luca Aceto, Anna Ingólfsdóttir, Joshua Sack.
Resource bisimilarity and graded bisimilarity coincide.
|
Inf. Process. Lett. 2010, Volume 111 |
(0)
|
2010 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
A Rule Format for Unit Elements.
|
SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings 2010 |
(0)
|
2010 |
|
|
Journal article
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir.
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
|
CoRR 2010, Volume 0 |
(0)
|
2010 |
|
|
Journal article
Luca Aceto, Cecilia Magherini.
On the relations between B
|
J. Computational Applied Mathematics 2009, Volume 231 |
(0)
|
2009 |
|
|
Journal article
Luca Aceto, Anna Ingólfsdóttir.
Algebraic Properties for Free!
|
Bulletin of the EATCS 2009, Volume 99 |
(0)
|
2009 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba.
Teaching Concurrency: Theory in Practice.
|
Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 2009 |
(0)
|
2009 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir, Joshua Sack.
Characteristic Formulae for Fixed-Point Semantics: A General Framework
|
CoRR 2009, Volume 0 |
(0)
|
2009 |
|
|
Conference paper
Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann.
Preface.
|
J. Log. Algebr. Program. 2009, Volume 78 |
(0)
|
2009 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir.
Foreword: special issue in memory of Nadia Busi.
|
Mathematical Structures in Computer Science 2009, Volume 19 |
(0)
|
2009 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik.
A finite equational base for CCS with left merge and communication merge.
|
ACM Trans. Comput. Log. 2009, Volume 10 |
(0)
|
2009 |
|
|
Conference paper
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
Rule Formats for Determinism and Idempotence.
|
Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers 2010 |
(0)
|
2009 |
|
|
Journal article
Luca Aceto, Silvio Capobianco.
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt.
|
Bulletin of the EATCS 2008, Volume 95 |
(0)
|
2008 |
|
|
Journal article
Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann.
Applying Concurrency Research in Industry Report on a Strategic Workshop.
|
Bulletin of the EATCS 2008, Volume 94 |
(0)
|
2008 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg.
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.
|
Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy 2008 |
(0)
|
2008 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi.
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.
|
Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy 2008 |
(0)
|
2008 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir.
A Cancellation Theorem for BCCSP.
|
Fundam. Inform. 2008, Volume 88 |
(0)
|
2008 |
|
|
Conference paper
Luca Aceto, Silvio Capobianco, Anna Ingólfsdóttir, Bas Luttik.
The equational theory of prebisimilarity over basic CCS with divergence.
|
Inf. Process. Lett. 2008, Volume 108 |
(0)
|
2008 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir.
On the expressibility of priority.
|
Inf. Process. Lett. 2009, Volume 109 |
(0)
|
2008 |
|
|
Conference paper
Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon.
Guest Editors' Foreword.
|
J. Log. Algebr. Program. 2008, Volume 75 |
(0)
|
2008 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir.
Guest Editors' Foreword.
|
J. Log. Algebr. Program. 2008, Volume 77 |
(0)
|
2008 |
|
|
Conference paper
Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir.
On the axiomatisability of priority.
|
Mathematical Structures in Computer Science 2008, Volume 18 |
(0)
|
2008 |
|
|
Journal article
Luca Aceto, Anna Ingólfsdóttir.
Characteristic Formulae: From Automata to Logic.
|
Bulletin of the EATCS 2007, Volume 91 |
(0)
|
2007 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir.
Ready to Preorder: Get Your BCCSP Axiomatization for Free!
|
Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings 2007 |
(0)
|
2007 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi.
Impossibility Results for the Equational Theory of Timed CCS.
|
Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings 2007 |
(0)
|
2007 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir.
The Saga of the Axiomatization of Parallel Composition.
|
CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings 2007 |
(0)
|
2007 |
|
|
Conference paper
Luca Aceto.
Impossibility Results in the Equational Logic of Processes.
|
Electr. Notes Theor. Comput. Sci. 2007, Volume 169 |
(0)
|
2007 |
|
|
Conference paper
Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon.
Guest Editors' Foreword.
|
J. Log. Algebr. Program. 2007, Volume 70 |
(0)
|
2007 |
|
|
Conference paper
Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon.
Guest Editors' Foreword.
|
J. Log. Algebr. Program. 2007, Volume 72 |
(0)
|
2007 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir.
Guest Editors' Foreword.
|
J. Log. Algebr. Program. 2007, Volume 73 |
(0)
|
2007 |
|
|
Conference paper
Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir.
On the Axiomatizability of Priority.
|
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 2006 |
(0)
|
2006 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik.
A Finite Equational Base for CCS with Left Merge and Communication Merge.
|
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 2006 |
(0)
|
2006 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik.
A Finite Equational Base for CCS with Left Merge and Communication Merge
|
CoRR 2006, Volume 0 |
(0)
|
2006 |
|
|
Conference paper
Luca Aceto, Wan Fokkink.
The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems.
|
Electr. Notes Theor. Comput. Sci. 2006, Volume 162 |
(0)
|
2006 |
|
|
Conference paper
Luca Aceto, Andrew D. Gordon.
Preface.
|
Electr. Notes Theor. Comput. Sci. 2006, Volume 162 |
(0)
|
2006 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain.
Bisimilarity is not finitely based over BPA with interrupt.
|
Theor. Comput. Sci. 2006, Volume 366 |
(0)
|
2006 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik.
Finite Equational Bases in Process Algebra: Results and Open Questions.
|
Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday 2005 |
(0)
|
2005 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain.
Bisimilarity Is Not Finitely Based over BPA with Interrupt.
|
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings 2005 |
(0)
|
2005 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik.
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
|
CoRR 2005, Volume 0 |
(0)
|
2005 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Irek Ulidowski.
Preface.
|
Electr. Notes Theor. Comput. Sci. 2005, Volume 128 |
(0)
|
2005 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik.
Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge.
|
Logical Methods in Computer Science 2005, Volume 1 |
(0)
|
2005 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Zoltán Ésik.
Guest editors' foreword: Process Algebra.
|
Theor. Comput. Sci. 2005, Volume 335 |
(0)
|
2005 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik.
CCS with Hennessy's merge has no finite-equational axiomatization.
|
Theor. Comput. Sci. 2005, Volume 330 |
(0)
|
2005 |
|
|
Conference paper
Luca Aceto.
Nested Semantics over Finite Trees are Equationally Hard: Invited Talk.
|
Electr. Notes Theor. Comput. Sci. 2004, Volume 96 |
(0)
|
2004 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir.
Nested semantics over finite trees are equationally hard.
|
Inf. Comput. 2004, Volume 191 |
(0)
|
2004 |
|
|
Conference paper
Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen.
The Complexity of Checking Consistency of Pedigree Information and Related Problems.
|
J. Comput. Sci. Technol. 2004, Volume 19 |
(0)
|
2004 |
|
|
Conference paper
Luca Aceto, Wan Fokkink.
Guesteditors'introduction: Special issue on Structural Operational Semantics.
|
J. Log. Algebr. Program. 2004, Volume 60 |
(0)
|
2004 |
|
|
Conference paper
Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen.
The Complexity of Checking Consistency of Pedigree Information and Related Problems.
|
Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings 2003 |
(0)
|
2003 |
|
|
Conference paper
Luca Aceto.
Some of My Favourite Results in Classic Process Algebra.
|
Bulletin of the EATCS 2003, Volume 81 |
(0)
|
2003 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir.
A note on an expressiveness hierarchy for multi-exit iteration.
|
Inf. Process. Lett. 2003, Volume 87 |
(0)
|
2003 |
|
|
Conference paper
Luca Aceto, Giuseppe Longo, Björn Victor.
Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation.
|
Mathematical Structures in Computer Science 2003, Volume 13 |
(0)
|
2003 |
|
|
Conference paper
Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen.
The power of reachability testing for timed automata.
|
Theor. Comput. Sci. 2003, Volume 300 |
(0)
|
2003 |
|
|
Conference paper
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir.
Equational theories of tropical semirings.
|
Theor. Comput. Sci. 2003, Volume 3 |
(0)
|
2003 |
|
|
Conference paper
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir.
Equational Axioms for Probabilistic Bisimilarity.
|
Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings 2002 |
(0)
|
2002 |
|
|
Conference paper
Luca Aceto.
Kleene through the process algebraic glass.
|
Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings 2002 |
(0)
|
2002 |
|
|
Conference paper
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir.
A Fully Equational Proof of Parikh's Theorem.
|
ITA 2002, Volume 36 |
(0)
|
2002 |
|
|
Conference paper
Luca Aceto, François Laroussinie.
Is your model checker on time? On the complexity of model checking for timed modal logics.
|
J. Log. Algebr. Program. 2002, Volume 52 |
(0)
|
2002 |
|
|
Conference paper
Luca Aceto, Prakash Panangaden.
Guest Editors' Foreword.
|
Nord. J. Comput. 2002, Volume 9 |
(0)
|
2002 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Chris Verhoef.
Conservative Extension in Structural Operational Semantics.
|
Current Trends in Theoretical Computer Science 2001 |
(0)
|
2001 |
|
|
Conference paper
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir.
Axiomatizing Tropical Semirings.
|
Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings 2001 |
(0)
|
2001 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir.
2-Nested Simulation Is Not Finitely Equationally Axiomatizable.
|
STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings 2001 |
(0)
|
2001 |
|
|
Conference paper
Luca Aceto, Prakash Panangaden.
Preface.
|
Electr. Notes Theor. Comput. Sci. 2001, Volume 52 |
(0)
|
2001 |
|
|
Conference paper
Samson Abramsky, Luca Aceto, Anna Ingólfsdóttir.
Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218.
|
Inf. Comput. 2001, Volume 165 |
(0)
|
2001 |
|
|
Conference paper
Luca Aceto, Wan Fokkink.
Preface: Process Algebra.
|
Inf. Process. Lett. 2001, Volume 80 |
(0)
|
2001 |
|
|
Conference paper
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir.
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers.
|
STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings 2000 |
(0)
|
2000 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen.
Characteristic formulae for timed automata.
|
ITA 2000, Volume 34 |
(0)
|
2000 |
|
|
Conference paper
Luca Aceto, Anna Ingólfsdóttir.
Testing Hennessy-Milner Logic with Recursion.
|
Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceed 1999 |
(0)
|
1999 |
|
|
Conference paper
Luca Aceto, François Laroussinie.
Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics.
|
Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings 1999 |
(0)
|
1999 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Chris Verhoef.
Conservative Extension in Structural Operational Semantics.
|
Bulletin of the EATCS 1999, Volume 69 |
(0)
|
1999 |
|
|
Conference paper
Luca Aceto, Jan Friso Groote.
A Complete Equational Axiomatization for MPA with String Iteration.
|
Theor. Comput. Sci. 1999, Volume 211 |
(0)
|
1999 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir.
A Cook's Tour of Equational Axiomatizations for Prefix Iteration.
|
Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings 1998 |
(0)
|
1998 |
|
|
Conference paper
Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen.
The Power of Reachability Testing for Timed Automata.
|
Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings 1998 |
(0)
|
1998 |
|
|
Conference paper
Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen.
Model Checking via Reachability Testing for Timed Automata.
|
Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceeding 1998 |
(0)
|
1998 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir.
A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces.
|
Mathematical Structures in Computer Science 1998, Volume 8 |
(0)
|
1998 |
|
|
Conference paper
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir.
On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based.
|
Theor. Comput. Sci. 1998, Volume 209 |
(0)
|
1998 |
a/LucaAceto