publications:
- title: "The equational theory of prebisimilarity over basic CCS with divergence"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Silvio Capobianco"
    link: "https://researchr.org/alias/silvio-capobianco"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.ipl.2008.05.019"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2008.05.019"
  researchr: "https://researchr.org/publication/AcetoCIL08"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "108"
  number: "5"
  pages: "284-289"
  kind: "article"
  key: "AcetoCIL08"
- title: "Termination, Deadlock, and Divergence"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Matthew Hennessy"
    link: "https://researchr.org/alias/matthew-hennessy"
  year: "1992"
  doi: "http://doi.acm.org/10.1145/147508.147527"
  links:
    doi: "http://doi.acm.org/10.1145/147508.147527"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/AcetoH92"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "39"
  number: "1"
  pages: "147-187"
  kind: "article"
  key: "AcetoH92"
- title: "The Saga of the Axiomatization of Parallel Composition"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74407-8_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74407-8_2"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/AcetoI07%3A0"
  cites: 0
  citedby: 0
  pages: "2-16"
  booktitle: "concur"
  kind: "inproceedings"
  key: "AcetoI07:0"
- title: "Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218"
  author:
  - name: "Samson Abramsky"
    link: "https://researchr.org/alias/samson-abramsky"
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir"
  year: "2001"
  doi: "http://dx.doi.org/10.1006/inco.2001.2909"
  links:
    doi: "http://dx.doi.org/10.1006/inco.2001.2909"
  researchr: "https://researchr.org/publication/AbramskyAI01"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "165"
  number: "2"
  pages: "119-122"
  kind: "article"
  key: "AbramskyAI01"
- title: "Guesteditors introduction: Special issue on Structural Operational Semantics"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.jlap.2004.03.010"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2004.03.010"
  tags:
  - "semantics"
  - " structural operational semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/AcetoF04"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "60-61"
  pages: "1-2"
  kind: "article"
  key: "AcetoF04"
- 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: "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"
- title: "Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Giuseppe Longo"
    link: "https://researchr.org/alias/giuseppe-longo"
  - name: "Björn Victor"
    link: "https://researchr.org/alias/bj%C3%B6rn-victor"
  year: "2003"
  researchr: "https://researchr.org/publication/AcetoLV03"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "13"
  number: "4"
  pages: "481-484"
  kind: "article"
  key: "AcetoLV03"
- 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 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: "Nested Semantics over Finite Trees are Equationally Hard: Invited Talk"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.04.027"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.04.027"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Aceto04"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "96"
  pages: "5-6"
  kind: "article"
  key: "Aceto04"
- title: "Full Abstraction for Series-Parallel Pomsets"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  year: "1991"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/Aceto91%3A0"
  cites: 0
  citedby: 0
  pages: "1-25"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "Aceto91:0"
- 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: "Relating semantic models for the object calculus"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Hans Hüttel"
    link: "https://researchr.org/alias/hans-h%C3%BCttel"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir"
  - name: "Josva Kleist"
    link: "https://researchr.org/alias/josva-kleist"
  year: "1997"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/33/23/show/Products/notes/index.htt#002"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/33/23/show/Products/notes/index.htt#002"
  tags:
  - "meta-model"
  - "object-role modeling"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/AcetoHIK97"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "7"
  pages: "3-18"
  kind: "article"
  key: "AcetoHIK97"
- title: "The Complexity of Checking Consistency of Pedigree Information and Related Problems"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Jens A. Hansen"
    link: "https://researchr.org/alias/jens-a.-hansen"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir"
  - name: "Jacob Johnsen"
    link: "https://researchr.org/alias/jacob-johnsen"
  - name: "John Knudsen"
    link: "https://researchr.org/alias/john-knudsen"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2841&spage=174"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2841&spage=174"
  tags:
  - "consistency"
  researchr: "https://researchr.org/publication/AcetoHIJK03"
  cites: 0
  citedby: 0
  pages: "174-187"
  booktitle: "ictcs"
  kind: "inproceedings"
  key: "AcetoHIJK03"
- title: "Finite Equational Bases for Fragments of CCS with Restriction and Relabelling"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "Paul van Tilburg"
    link: "https://researchr.org/alias/paul-van-tilburg"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-0-387-09680-3_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-09680-3_22"
  researchr: "https://researchr.org/publication/AcetoILT08"
  cites: 0
  citedby: 0
  pages: "317-332"
  booktitle: "ifipTCS"
  kind: "inproceedings"
  key: "AcetoILT08"
- title: "CPO Models for a Class of GSOS Languages"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir"
  year: "1995"
  tags:
  - "modeling language"
  - "modeling"
  - "language modeling"
  researchr: "https://researchr.org/publication/AcetoI95"
  cites: 0
  citedby: 0
  pages: "439-453"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "AcetoI95"
- 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: "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: "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: "The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.076"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.076"
  tags:
  - "composition"
  - "source-to-source"
  - "open-source"
  researchr: "https://researchr.org/publication/AcetoF06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "162"
  pages: "43-48"
  kind: "article"
  key: "AcetoF06"
- 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: "Preface"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Irek Ulidowski"
    link: "https://researchr.org/alias/irek-ulidowski"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.08.053"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.08.053"
  researchr: "https://researchr.org/publication/AcetoFU05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "128"
  number: "1"
  pages: "1"
  kind: "article"
  key: "AcetoFU05"
- title: "Preface"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Prakash Panangaden"
    link: "https://researchr.org/alias/prakash-panangaden"
  year: "2001"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/96/27/show/Products/notes/index.htt#001"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/96/27/show/Products/notes/index.htt#001"
  researchr: "https://researchr.org/publication/AcetoP01"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "52"
  number: "1"
  pages: "137-138"
  kind: "article"
  key: "AcetoP01"
- title: "Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games"
  year: "2008"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/icalp%3A2008-1"
  cites: 0
  citedby: 0
  booktitle: "Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games"
  conference: "icalp"
  editor:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Ivan Damgård"
    link: "https://researchr.org/alias/ivan-damg%C3%A5rd"
  - name: "Leslie Ann Goldberg"
    link: "https://researchr.org/alias/leslie-ann-goldberg"
  - name: "Magnús M. Halldórsson"
    link: "https://researchr.org/alias/magn%C3%BAs-m.-halld%C3%B3rsson"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir"
  - name: "Igor Walukiewicz"
    link: "https://researchr.org/alias/igor-walukiewicz"
  volume: "5125"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70574-1"
  kind: "proceedings"
  key: "icalp:2008-1"
- title: "Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations"
  year: "2008"
  tags:
  - "programming languages"
  - "semantics"
  - "automata theory"
  - "C++"
  - "security"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/icalp%3A2008-2"
  cites: 0
  citedby: 0
  booktitle: "Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations"
  conference: "icalp"
  editor:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Ivan Damgård"
    link: "https://researchr.org/alias/ivan-damg%C3%A5rd"
  - name: "Leslie Ann Goldberg"
    link: "https://researchr.org/alias/leslie-ann-goldberg"
  - name: "Magnús M. Halldórsson"
    link: "https://researchr.org/alias/magn%C3%BAs-m.-halld%C3%B3rsson"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir"
  - name: "Igor Walukiewicz"
    link: "https://researchr.org/alias/igor-walukiewicz"
  volume: "5126"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70582-6"
  kind: "proceedings"
  key: "icalp:2008-2"