@article{AcetoFI08,
  title = {A Cancellation Theorem for BCCSP},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {2008},
  url = {http://iospress.metapress.com/content/t240268303147214/},
  researchr = {https://researchr.org/publication/AcetoFI08},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {88},
  number = {1-2},
  pages = {1-21},
}

@article{AcetoFI98:1,
  title = {A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {1998},
  tags = {semantics, rule-based, completeness},
  researchr = {https://researchr.org/publication/AcetoFI98%3A1},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {8},
  number = {3},
  pages = {193-230},
}

@inproceedings{AcetoIMR10,
  title = {A Rule Format for Unit Elements},
  author = {Luca Aceto and Anna Ingólfsdóttir and Mohammad Reza Mousavi and Michel A. Reniers},
  year = {2010},
  doi = {10.1007/978-3-642-11266-9_12},
  url = {http://dx.doi.org/10.1007/978-3-642-11266-9_12},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/AcetoIMR10},
  cites = {0},
  citedby = {0},
  pages = {141-152},
  booktitle = {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},
  editor = {Jan van Leeuwen and Anca Muscholl and David Peleg and Jaroslav Pokorný and Bernhard Rumpe},
  volume = {5901},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11265-2},
}

@article{AcetoFIN06,
  title = {Bisimilarity is not finitely based over BPA with interrupt},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Sumit Nain},
  year = {2006},
  doi = {10.1016/j.tcs.2006.07.003},
  url = {http://dx.doi.org/10.1016/j.tcs.2006.07.003},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AcetoFIN06},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {366},
  number = {1-2},
  pages = {60-81},
}

@inproceedings{AcetoCFI06,
  title = {On the Axiomatizability of Priority},
  author = {Luca Aceto and Taolue Chen and Wan Fokkink and Anna Ingólfsdóttir},
  year = {2006},
  doi = {10.1007/11787006_41},
  url = {http://dx.doi.org/10.1007/11787006_41},
  researchr = {https://researchr.org/publication/AcetoCFI06},
  cites = {0},
  citedby = {0},
  pages = {480-491},
  booktitle = {Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II},
  editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener},
  volume = {4052},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35907-9},
}

@article{AcetoFIL05,
  title = {Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy s merge},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2005},
  doi = {10.2168/LMCS-1(1:3)2005},
  url = {http://dx.doi.org/10.2168/LMCS-1(1:3)2005},
  researchr = {https://researchr.org/publication/AcetoFIL05},
  cites = {0},
  citedby = {0},
  journal = {Logical Methods in Computer Science},
  volume = {1},
  number = {1},
}

@article{AcetoFI03,
  title = {A note on an expressiveness hierarchy for multi-exit iteration},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {2003},
  doi = {10.1016/S0020-0190(03)00234-5},
  url = {http://dx.doi.org/10.1016/S0020-0190(03)00234-5},
  researchr = {https://researchr.org/publication/AcetoFI03},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {87},
  number = {1},
  pages = {17-23},
}

@inproceedings{AcetoFI01,
  title = {2-Nested Simulation Is Not Finitely Equationally Axiomatizable},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2010/20100039.htm},
  researchr = {https://researchr.org/publication/AcetoFI01},
  cites = {0},
  citedby = {0},
  pages = {39-50},
  booktitle = {STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings},
  editor = {Afonso Ferreira and Horst Reichel},
  volume = {2010},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41695-1},
}

@article{AcetoFGI04,
  title = {Nested semantics over finite trees are equationally hard},
  author = {Luca Aceto and Wan Fokkink and Rob J. van Glabbeek and Anna Ingólfsdóttir},
  year = {2004},
  doi = {10.1016/j.ic.2004.02.001},
  url = {http://dx.doi.org/10.1016/j.ic.2004.02.001},
  tags = {semantics},
  researchr = {https://researchr.org/publication/AcetoFGI04},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {191},
  number = {2},
  pages = {203-232},
}

@article{AcetoCFI08,
  title = {On the axiomatisability of priority},
  author = {Luca Aceto and Taolue Chen and Wan Fokkink and Anna Ingólfsdóttir},
  year = {2008},
  doi = {10.1017/S0960129507006524},
  url = {http://dx.doi.org/10.1017/S0960129507006524},
  researchr = {https://researchr.org/publication/AcetoCFI08},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {18},
  number = {1},
  pages = {5-28},
}

@article{AcetoFIE05,
  title = {Guest editors  foreword: Process Algebra},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Zoltán Ésik},
  year = {2005},
  doi = {10.1016/j.tcs.2005.01.013},
  url = {http://dx.doi.org/10.1016/j.tcs.2005.01.013},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/AcetoFIE05},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {335},
  number = {2-3},
  pages = {127-129},
}

@article{abs-cs-0501040,
  title = {Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy s Merge},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2005},
  url = {http://arxiv.org/abs/cs/0501040},
  note = {informal publication},
  researchr = {https://researchr.org/publication/abs-cs-0501040},
  cites = {0},
  citedby = {0},
  journal = {CoRR},
  volume = {abs/cs/0501040},
}

@inproceedings{AcetoFIN05,
  title = {Bisimilarity Is Not Finitely Based over BPA with Interrupt},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Sumit Nain},
  year = {2005},
  doi = {10.1007/11548133_4},
  url = {http://dx.doi.org/10.1007/11548133_4},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AcetoFIN05},
  cites = {0},
  citedby = {0},
  pages = {52-66},
  booktitle = {Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings},
  editor = {José Luiz Fiadeiro and Neil Harman and Markus Roggenbach and Jan J. M. M. Rutten},
  volume = {3629},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28620-9},
}

@article{AcetoFIL09,
  title = {A finite equational base for CCS with left merge and communication merge},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2009},
  doi = {10.1145/1459010.1459016},
  url = {http://doi.acm.org/10.1145/1459010.1459016},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AcetoFIL09},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {10},
  number = {1},
}

@inproceedings{AcetoFIM08,
  title = {Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Mohammad Reza Mousavi},
  year = {2008},
  doi = {10.1007/978-0-387-09680-3_21},
  url = {http://dx.doi.org/10.1007/978-0-387-09680-3_21},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/AcetoFIM08},
  cites = {0},
  citedby = {0},
  pages = {301-316},
  booktitle = {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},
  editor = {Giorgio Ausiello and Juhani Karhumäki and Giancarlo Mauri and C.-H. Luke Ong},
  volume = {273},
  series = {IFIP},
  publisher = {Springer},
  isbn = {978-0-387-09679-7},
}

@article{AcetoGFI96,
  title = {Axiomatizing Prefix Iteration with Silent Steps},
  author = {Luca Aceto and Rob J. van Glabbeek and Wan Fokkink and Anna Ingólfsdóttir},
  year = {1996},
  researchr = {https://researchr.org/publication/AcetoGFI96},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {127},
  number = {1},
  pages = {26-40},
}

@article{AcetoFI98,
  title = {On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {1998},
  doi = {10.1016/S0304-3975(97)00104-7},
  url = {http://dx.doi.org/10.1016/S0304-3975(97)00104-7},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AcetoFI98},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {209},
  number = {1-2},
  pages = {163-178},
}

@inproceedings{AcetoFIL06,
  title = {A Finite Equational Base for CCS with Left Merge and Communication Merge},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2006},
  doi = {10.1007/11787006_42},
  url = {http://dx.doi.org/10.1007/11787006_42},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AcetoFIL06},
  cites = {0},
  citedby = {0},
  pages = {492-503},
  booktitle = {Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II},
  editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener},
  volume = {4052},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35907-9},
}

@inproceedings{AcetoFIL05:0,
  title = {Finite Equational Bases in Process Algebra: Results and Open Questions},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2005},
  doi = {10.1007/11601548_18},
  url = {http://dx.doi.org/10.1007/11601548_18},
  tags = {process algebra, source-to-source,  algebra, open-source},
  researchr = {https://researchr.org/publication/AcetoFIL05%3A0},
  cites = {0},
  citedby = {0},
  pages = {338-367},
  booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday},
  editor = {Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer},
  volume = {3838},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30911-X},
}

@inproceedings{AcetoFI98:0,
  title = {A Cook s Tour of Equational Axiomatizations for Prefix Iteration},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1378/13780020.htm},
  researchr = {https://researchr.org/publication/AcetoFI98%3A0},
  cites = {0},
  citedby = {0},
  pages = {20-34},
  booktitle = {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},
  editor = {Maurice Nivat},
  volume = {1378},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64300-1},
}

@inproceedings{AcetoFI07,
  title = {Ready to Preorder: Get Your BCCSP Axiomatization for Free!},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {2007},
  doi = {10.1007/978-3-540-73859-6_5},
  url = {http://dx.doi.org/10.1007/978-3-540-73859-6_5},
  researchr = {https://researchr.org/publication/AcetoFI07},
  cites = {0},
  citedby = {0},
  pages = {65-79},
  booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
  editor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen},
  volume = {4624},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73857-2},
}

@article{abs-cs-0608001,
  title = {A Finite Equational Base for CCS with Left Merge and Communication Merge},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2006},
  url = {http://arxiv.org/abs/cs/0608001},
  note = {informal publication},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/abs-cs-0608001},
  cites = {0},
  citedby = {0},
  journal = {CoRR},
  volume = {abs/cs/0608001},
}

@article{AcetoFIL05:1,
  title = {CCS with Hennessy s merge has no finite-equational axiomatization},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2005},
  doi = {10.1016/j.tcs.2004.10.003},
  url = {http://dx.doi.org/10.1016/j.tcs.2004.10.003},
  researchr = {https://researchr.org/publication/AcetoFIL05%3A1},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {330},
  number = {3},
  pages = {377-405},
}