@article{BaetenL06,
  title = {Guest editors  introduction: Special issue on Process Theory for Hybrid Systems},
  author = {Jos C. M. Baeten and Bas Luttik},
  year = {2006},
  doi = {10.1016/j.jlap.2005.10.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2005.10.001},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenL06},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {68},
  number = {1-2},
  pages = {1-3},
}

@article{GrooteLW98,
  title = {Editorial},
  author = {Jan Friso Groote and Bas Luttik and Jos van Wamel},
  year = {1998},
  url = {http://link.springer.de/link/service/journals/00165/bibs/8010005/80100435.htm},
  researchr = {https://researchr.org/publication/GrooteLW98},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {10},
  number = {5-6},
  pages = {435},
}

@misc{homepages-l-BasLuttik,
  title = {Home Page},
  author = {Bas Luttik and Bas Luttik},
  researchr = {https://researchr.org/publication/homepages-l-BasLuttik},
  cites = {0},
  citedby = {0},
  howpublished = {http://www.win.tue.nl/~luttik/},
}

@article{Luttik03:0,
  title = {On the expressiveness of choice quantification},
  author = {Bas Luttik},
  year = {2003},
  doi = {10.1016/S0168-0072(02)00082-9},
  url = {http://dx.doi.org/10.1016/S0168-0072(02)00082-9},
  researchr = {https://researchr.org/publication/Luttik03%3A0},
  cites = {0},
  citedby = {0},
  journal = {Annals of Pure and Applied Logic},
  volume = {121},
  number = {1},
  pages = {39-87},
}

@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},
}

@article{abs-0812-3068,
  title = {Branching Bisimilarity with Explicit Divergence},
  author = {Rob J. van Glabbeek and Bas Luttik and Nikola Trcka},
  year = {2008},
  url = {http://arxiv.org/abs/0812.3068},
  note = {informal publication},
  researchr = {https://researchr.org/publication/abs-0812-3068},
  cites = {0},
  citedby = {0},
  journal = {CoRR},
  volume = {abs/0812.3068},
}

@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{Luttik06,
  title = {What is algebraic in process theory?},
  author = {Bas Luttik},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.086},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.086},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/Luttik06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {162},
  pages = {227-231},
}

@inproceedings{FokkinkL00,
  title = {An ::::omega::::-Complete Equational Specification of Interleaving},
  author = {Wan Fokkink and Bas Luttik},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1853/18530729.htm},
  tags = {completeness},
  researchr = {https://researchr.org/publication/FokkinkL00},
  cites = {0},
  citedby = {0},
  pages = {729-743},
  booktitle = {Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
  editor = {Ugo Montanari and José D. P. Rolim and Emo Welzl},
  volume = {1853},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67715-1},
}

@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},
}

@inproceedings{LuttikV97,
  title = {Specification of Rewriting Strategies},
  author = {Bas Luttik and Eelco Visser},
  year = {1997},
  month = {November},
  tags = {control systems, rule-based, case study, SDF, graph transformation, traversal, transformation language, term rewriting, composition, traversal combinators, graph-rewriting, rules, transformation system, rewriting, rewriting strategies, ASF+SDF, transformation, Stratego},
  researchr = {https://researchr.org/publication/LuttikV97},
  cites = {0},
  citedby = {0},
  booktitle = {2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997)},
  editor = {M. P. A. Sellink},
  series = {Electronic Workshops in Computing},
  address = {Berlin},
  publisher = {Springer-Verlag},
}

@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},
}

@inproceedings{BaetenCLT09,
  title = {A Process-Theoretic Look at Automata},
  author = {Jos C. M. Baeten and Pieter J. L. Cuijpers and Bas Luttik and P. J. A. van Tilburg},
  year = {2009},
  doi = {10.1007/978-3-642-11623-0_1},
  url = {http://dx.doi.org/10.1007/978-3-642-11623-0_1},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenCLT09},
  cites = {0},
  citedby = {0},
  pages = {1-33},
  booktitle = {Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers},
  editor = {Farhad Arbab and Marjan Sirjani},
  volume = {5961},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11622-3},
}

@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},
}

@inproceedings{GrabmayerKL06:0,
  title = {Some Remarks on Definability of Process Graphs},
  author = {Clemens Grabmayer and Jan Willem Klop and Bas Luttik},
  year = {2006},
  doi = {10.1007/11817949_2},
  url = {http://dx.doi.org/10.1007/11817949_2},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/GrabmayerKL06%3A0},
  cites = {0},
  citedby = {0},
  pages = {16-36},
  booktitle = {CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
  editor = {Christel Baier and Holger Hermanns},
  volume = {4137},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37376-4},
}

@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{LuttikRV04,
  title = {Remarks on Thatte s transformation of term rewriting systems},
  author = {Bas Luttik and Piet Rodenburg and Rakesh M. Verma},
  year = {2004},
  doi = {10.1016/j.ic.2003.09.006},
  url = {http://dx.doi.org/10.1016/j.ic.2003.09.006},
  tags = {graph transformation, term rewriting, graph-rewriting, transformation system, rewriting, transformation},
  researchr = {https://researchr.org/publication/LuttikRV04},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {195},
  number = {1-2},
  pages = {66-87},
}

@article{LuttikO05,
  title = {Decomposition orders another generalisation of the fundamental theorem of arithmetic},
  author = {Bas Luttik and Vincent van Oostrom},
  year = {2005},
  doi = {10.1016/j.tcs.2004.11.019},
  url = {http://dx.doi.org/10.1016/j.tcs.2004.11.019},
  researchr = {https://researchr.org/publication/LuttikO05},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {335},
  number = {2-3},
  pages = {147-186},
}

@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{ChenFLN08,
  title = {On finite alphabets and infinite bases},
  author = {Taolue Chen and Wan Fokkink and Bas Luttik and Sumit Nain},
  year = {2008},
  doi = {10.1016/j.ic.2007.09.003},
  url = {http://dx.doi.org/10.1016/j.ic.2007.09.003},
  researchr = {https://researchr.org/publication/ChenFLN08},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {206},
  number = {5},
  pages = {492-519},
}

@article{GlabbeekLT09,
  title = {Branching Bisimilarity with Explicit Divergence},
  author = {Rob J. van Glabbeek and Bas Luttik and Nikola Trcka},
  year = {2009},
  doi = {10.3233/FI-2009-109},
  url = {http://dx.doi.org/10.3233/FI-2009-109},
  researchr = {https://researchr.org/publication/GlabbeekLT09},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {93},
  number = {4},
  pages = {371-392},
}

@inproceedings{LuttikT05,
  title = {Stuttering Congruence for ::::chi::::},
  author = {Bas Luttik and Nikola Trcka},
  year = {2005},
  doi = {10.1007/11537328_16},
  url = {http://dx.doi.org/10.1007/11537328_16},
  researchr = {https://researchr.org/publication/LuttikT05},
  cites = {0},
  citedby = {0},
  pages = {185-199},
  booktitle = {Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings},
  editor = {Patrice Godefroid},
  volume = {3639},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28195-9},
}

@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},
}

@inproceedings{Luttik03,
  title = {A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory},
  author = {Bas Luttik},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2747&spage=562},
  researchr = {https://researchr.org/publication/Luttik03},
  cites = {0},
  citedby = {0},
  pages = {562-571},
  booktitle = {Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings},
  editor = {Branislav Rovan and Peter Vojtás},
  volume = {2747},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40671-9},
}

@article{BortnikTWLMBFR05,
  title = {Analyzing a ::::chi:::: model of a turntable system using Spin, CADP and Uppaal},
  author = {E. M. Bortnik and Nikola Trcka and Anton Wijs and Bas Luttik and J. M. van de Mortel-Fronczak and Jos C. M. Baeten and Wan Fokkink and J. E. Rooda},
  year = {2005},
  doi = {10.1016/j.jlap.2005.05.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2005.05.001},
  tags = {C++, e-science},
  researchr = {https://researchr.org/publication/BortnikTWLMBFR05},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {65},
  number = {2},
  pages = {51-104},
}

@article{GrabmayerKL06,
  title = {Reflections on a Geometry of Processes},
  author = {Clemens Grabmayer and Jan Willem Klop and Bas Luttik},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.111},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.111},
  tags = {reflection},
  researchr = {https://researchr.org/publication/GrabmayerKL06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {162},
  pages = {183-190},
}

@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},
}