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: "Inf. Process. Lett."
  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: "Journal of the ACM"
  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 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings"
  editor:
  - name: "Luís Caires"
    link: "https://researchr.org/alias/lu%C3%ADs-caires"
  - name: "Vasco Thudichum Vasconcelos"
    link: "https://researchr.org/alias/vasco-thudichum-vasconcelos"
  volume: "4703"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74406-1"
  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: "Inf. Comput."
  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: "Journal of Logic and Algebraic Programming"
  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: "Inf. Comput."
  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: "Theoretical Computer Science"
  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: "Mathematical Structures in Computer Science"
  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: "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 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: "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: "Electronic Notes in Theoretical Computer Science"
  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 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP 91)"
  editor:
  - name: "Samson Abramsky"
    link: "https://researchr.org/alias/samson-abramsky"
  - name: "T. S. E. Maibaum"
    link: "https://researchr.org/alias/t.-s.-e.-maibaum"
  volume: "493"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-53982-4"
  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: "Mathematical Structures in Computer Science"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings"
  editor:
  - name: "Carlo Blundo"
    link: "https://researchr.org/alias/carlo-blundo"
  - name: "Cosimo Laneve"
    link: "https://researchr.org/alias/cosimo-laneve"
  volume: "2841"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20216-1"
  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: "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: "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 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings"
  editor:
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  volume: "915"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-59293-8"
  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"
  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: "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: "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: "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: "Electronic Notes in Theoretical Computer Science"
  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"
  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: "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: "Electronic Notes in Theoretical Computer Science"
  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: "Electronic Notes in Theoretical Computer Science"
  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"