publications:
- title: "A Cancellation Theorem for BCCSP"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2008"
  doi: "http://iospress.metapress.com/content/t240268303147214/"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFI08"
- title: "A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  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"
  kind: "article"
  key: "AcetoFI98:1"
- title: "A Rule Format for Unit Elements"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Mohammad Reza Mousavi"
    link: "https://researchr.org/alias/mohammad-reza-mousavi"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11266-9_12"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoIMR10"
- title: "Bisimilarity is not finitely based over BPA with interrupt"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Sumit Nain"
    link: "https://researchr.org/alias/sumit-nain"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.07.003"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFIN06"
- title: "On the Axiomatizability of Priority"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Taolue Chen"
    link: "https://researchr.org/alias/taolue-chen"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11787006_41"
  links:
    doi: "http://dx.doi.org/10.1007/11787006_41"
  researchr: "https://researchr.org/publication/AcetoCFI06"
  cites: 0
  citedby: 0
  pages: "480-491"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "AcetoCFI06"
- title: "Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy s merge"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2005"
  doi: "http://dx.doi.org/10.2168/LMCS-1(1:3)2005"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFIL05"
- title: "A note on an expressiveness hierarchy for multi-exit iteration"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0020-0190(03)00234-5"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFI03"
- title: "2-Nested Simulation Is Not Finitely Equationally Axiomatizable"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2010/20100039.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFI01"
- title: "Nested semantics over finite trees are equationally hard"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.ic.2004.02.001"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFGI04"
- title: "On the axiomatisability of priority"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Taolue Chen"
    link: "https://researchr.org/alias/taolue-chen"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2008"
  doi: "http://dx.doi.org/10.1017/S0960129507006524"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoCFI08"
- title: "Guest editors  foreword: Process Algebra"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Zoltán Ésik"
    link: "https://researchr.org/alias/zolt%C3%A1n-%C3%A9sik"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.01.013"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFIE05"
- title: "Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy s Merge"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2005"
  doi: "http://arxiv.org/abs/cs/0501040"
  links:
    doi: "http://arxiv.org/abs/cs/0501040"
  researchr: "https://researchr.org/publication/abs-cs-0501040"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/cs/0501040"
  kind: "article"
  key: "abs-cs-0501040"
- title: "Bisimilarity Is Not Finitely Based over BPA with Interrupt"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Sumit Nain"
    link: "https://researchr.org/alias/sumit-nain"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11548133_4"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFIN05"
- title: "A finite equational base for CCS with left merge and communication merge"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1459010.1459016"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFIL09"
- title: "Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Mohammad Reza Mousavi"
    link: "https://researchr.org/alias/mohammad-reza-mousavi"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-0-387-09680-3_21"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFIM08"
- title: "Axiomatizing Prefix Iteration with Silent Steps"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "1996"
  researchr: "https://researchr.org/publication/AcetoGFI96"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "127"
  number: "1"
  pages: "26-40"
  kind: "article"
  key: "AcetoGFI96"
- title: "On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "1998"
  doi: "http://dx.doi.org/10.1016/S0304-3975(97)00104-7"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFI98"
- title: "A Finite Equational Base for CCS with Left Merge and Communication Merge"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11787006_42"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFIL06"
- title: "Finite Equational Bases in Process Algebra: Results and Open Questions"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11601548_18"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFIL05:0"
- title: "A Cook s Tour of Equational Axiomatizations for Prefix Iteration"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1378/13780020.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFI98:0"
- title: "Ready to Preorder: Get Your BCCSP Axiomatization for Free!"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73859-6_5"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFI07"
- title: "A Finite Equational Base for CCS with Left Merge and Communication Merge"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2006"
  doi: "http://arxiv.org/abs/cs/0608001"
  links:
    doi: "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"
  kind: "article"
  key: "abs-cs-0608001"
- title: "CCS with Hennessy s merge has no finite-equational axiomatization"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2004.10.003"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFIL05:1"