@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 = {FUIN},
  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 = {mscs},
  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},
}

@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 = {TCS},
  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 = {icalp},
}

@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 = {lmcs},
  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 = {ipl},
  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},
}

@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 = {iandc},
  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 = {mscs},
  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 = {TCS},
  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},
  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 = {calco},
}

@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 = {tocl},
  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 = {ifipTCS},
}

@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 = {iandc},
  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 = {TCS},
  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 = {icalp},
}

@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 = {BIRTHDAY},
}

@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 = {fossacs},
}

@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 = {calco},
}

@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},
  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 = {TCS},
  volume = {330},
  number = {3},
  pages = {377-405},
}