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: "Fundamenta Informaticae"
  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: "Mathematical Structures in Computer Science"
  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 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:
  - name: "Jan van Leeuwen"
    link: "https://researchr.org/alias/jan-van-leeuwen"
  - name: "Anca Muscholl"
    link: "https://researchr.org/alias/anca-muscholl"
  - name: "David Peleg"
    link: "https://researchr.org/alias/david-peleg"
  - name: "Jaroslav Pokorný"
    link: "https://researchr.org/alias/jaroslav-pokorn%C3%A3%C2%BD"
  - name: "Bernhard Rumpe"
    link: "http://www.se-rwth.de/~rumpe/"
  volume: "5901"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-11265-2"
  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: "Theoretical Computer Science"
  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: "Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II"
  editor:
  - name: "Michele Bugliesi"
    link: "https://researchr.org/alias/michele-bugliesi"
  - name: "Bart Preneel"
    link: "https://researchr.org/alias/bart-preneel"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Ingo Wegener"
    link: "https://researchr.org/alias/ingo-wegener"
  volume: "4052"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35907-9"
  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: "Logical Methods in Computer Science"
  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: "Inf. Process. Lett."
  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 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings"
  editor:
  - name: "Afonso Ferreira"
    link: "https://researchr.org/alias/afonso-ferreira"
  - name: "Horst Reichel"
    link: "https://researchr.org/alias/horst-reichel"
  volume: "2010"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41695-1"
  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: "Inf. Comput."
  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: "Mathematical Structures in Computer Science"
  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: "Theoretical Computer Science"
  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"
  note: "informal publication"
  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: "Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Neil Harman"
    link: "https://researchr.org/alias/neil-harman"
  - name: "Markus Roggenbach"
    link: "https://researchr.org/alias/markus-roggenbach"
  - name: "Jan J. M. M. Rutten"
    link: "https://researchr.org/alias/jan-j.-m.-m.-rutten"
  volume: "3629"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28620-9"
  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: "ACM Trans. Comput. Log."
  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: "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:
  - name: "Giorgio Ausiello"
    link: "https://researchr.org/alias/giorgio-ausiello"
  - name: "Juhani Karhumäki"
    link: "https://researchr.org/alias/juhani-karhum%C3%A4ki"
  - name: "Giancarlo Mauri"
    link: "https://researchr.org/alias/giancarlo-mauri"
  - name: "C.-H. Luke Ong"
    link: "https://researchr.org/alias/c.-h.-luke-ong"
  volume: "273"
  series: "IFIP"
  publisher: "Springer"
  isbn: "978-0-387-09679-7"
  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: "Inf. Comput."
  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: "Theoretical Computer Science"
  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: "Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II"
  editor:
  - name: "Michele Bugliesi"
    link: "https://researchr.org/alias/michele-bugliesi"
  - name: "Bart Preneel"
    link: "https://researchr.org/alias/bart-preneel"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  - name: "Ingo Wegener"
    link: "https://researchr.org/alias/ingo-wegener"
  volume: "4052"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35907-9"
  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: "Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday"
  editor:
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  - name: "Vincent van Oostrom"
    link: "https://researchr.org/alias/vincent-van-oostrom"
  - name: "Femke van Raamsdonk"
    link: "https://researchr.org/alias/femke-van-raamsdonk"
  - name: "Roel C. de Vrijer"
    link: "https://researchr.org/alias/roel-c.-de-vrijer"
  volume: "3838"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-30911-X"
  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: "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:
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  volume: "1378"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64300-1"
  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: "Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings"
  editor:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  volume: "4624"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73857-2"
  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"
  note: "informal publication"
  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: "Theoretical Computer Science"
  volume: "330"
  number: "3"
  pages: "377-405"
  kind: "article"
  key: "AcetoFIL05:1"