@article{AcetoCIL08,
  title = {The equational theory of prebisimilarity over basic CCS with divergence},
  author = {Luca Aceto and Silvio Capobianco and Anna Ingólfsdóttir and Bas Luttik},
  year = {2008},
  doi = {10.1016/j.ipl.2008.05.019},
  url = {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},
}

@article{AcetoH92,
  title = {Termination, Deadlock, and Divergence},
  author = {Luca Aceto and Matthew Hennessy},
  year = {1992},
  doi = {10.1145/147508.147527},
  url = {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},
}

@inproceedings{AcetoI07:0,
  title = {The Saga of the Axiomatization of Parallel Composition},
  author = {Luca Aceto and Anna Ingólfsdóttir},
  year = {2007},
  doi = {10.1007/978-3-540-74407-8_2},
  url = {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 = {Luís Caires and Vasco Thudichum Vasconcelos},
  volume = {4703},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74406-1},
}

@article{AbramskyAI01,
  title = {Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218},
  author = {Samson Abramsky and Luca Aceto and Anna Ingólfsdóttir},
  year = {2001},
  doi = {10.1006/inco.2001.2909},
  url = {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},
}

@article{AcetoF04,
  title = {Guesteditors introduction: Special issue on Structural Operational Semantics},
  author = {Luca Aceto and Wan Fokkink},
  year = {2004},
  doi = {10.1016/j.jlap.2004.03.010},
  url = {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},
}

@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 = {Inf. Comput.},
  volume = {127},
  number = {1},
  pages = {26-40},
}

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

@article{AcetoLV03,
  title = {Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation},
  author = {Luca Aceto and Giuseppe Longo and Björn 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},
}

@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 = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday},
  editor = {Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer},
  volume = {3838},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30911-X},
}

@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 = {ACM Trans. Comput. Log.},
  volume = {10},
  number = {1},
}

@article{Aceto04,
  title = {Nested Semantics over Finite Trees are Equationally Hard: Invited Talk},
  author = {Luca Aceto},
  year = {2004},
  doi = {10.1016/j.entcs.2004.04.027},
  url = {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},
}

@inproceedings{Aceto91:0,
  title = {Full Abstraction for Series-Parallel Pomsets},
  author = {Luca Aceto},
  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 = {Samson Abramsky and T. S. E. Maibaum},
  volume = {493},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53982-4},
}

@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 = {Mathematical Structures in Computer Science},
  volume = {8},
  number = {3},
  pages = {193-230},
}

@article{AcetoHIK97,
  title = {Relating semantic models for the object calculus},
  author = {Luca Aceto and Hans Hüttel and Anna Ingólfsdóttir and Josva Kleist},
  year = {1997},
  url = {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},
}

@inproceedings{AcetoHIJK03,
  title = {The Complexity of Checking Consistency of Pedigree Information and Related Problems},
  author = {Luca Aceto and Jens A. Hansen and Anna Ingólfsdóttir and Jacob Johnsen and John Knudsen},
  year = {2003},
  url = {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 = {Carlo Blundo and Cosimo Laneve},
  volume = {2841},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20216-1},
}

@inproceedings{AcetoILT08,
  title = {Finite Equational Bases for Fragments of CCS with Restriction and Relabelling},
  author = {Luca Aceto and Anna Ingólfsdóttir and Bas Luttik and Paul van Tilburg},
  year = {2008},
  doi = {10.1007/978-0-387-09680-3_22},
  url = {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 = {Giorgio Ausiello and Juhani Karhumäki and Giancarlo Mauri and C.-H. Luke Ong},
  volume = {273},
  series = {IFIP},
  publisher = {Springer},
  isbn = {978-0-387-09679-7},
}

@inproceedings{AcetoI95,
  title = {CPO Models for a Class of GSOS Languages},
  author = {Luca Aceto and Anna Ingólfsdóttir},
  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 = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach},
  volume = {915},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59293-8},
}

@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},
  note = {informal publication},
  researchr = {https://researchr.org/publication/abs-cs-0501040},
  cites = {0},
  citedby = {0},
  journal = {CoRR},
  volume = {abs/cs/0501040},
}

@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 = {Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II},
  editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener},
  volume = {4052},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35907-9},
}

@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 = {Logical Methods in Computer Science},
  volume = {1},
  number = {1},
}

@article{AcetoF06,
  title = {The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems},
  author = {Luca Aceto and Wan Fokkink},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.076},
  url = {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},
}

@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},
  note = {informal publication},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/abs-cs-0608001},
  cites = {0},
  citedby = {0},
  journal = {CoRR},
  volume = {abs/cs/0608001},
}

@article{AcetoFU05,
  title = {Preface},
  author = {Luca Aceto and Wan Fokkink and Irek Ulidowski},
  year = {2005},
  doi = {10.1016/j.entcs.2004.08.053},
  url = {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},
}

@article{AcetoP01,
  title = {Preface},
  author = {Luca Aceto and Prakash Panangaden},
  year = {2001},
  url = {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},
}
@proceedings{icalp:2008-1,
  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 = {Luca Aceto and Ivan Damgård and Leslie Ann Goldberg and Magnús M. Halldórsson and Anna Ingólfsdóttir and Igor Walukiewicz},
  volume = {5125},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70574-1},
}

@proceedings{icalp:2008-2,
  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 = {Luca Aceto and Ivan Damgård and Leslie Ann Goldberg and Magnús M. Halldórsson and Anna Ingólfsdóttir and Igor Walukiewicz},
  volume = {5126},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70582-6},
}