publications:
- title: "Guest editors  introduction: Special issue on Process Theory for Hybrid Systems"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.jlap.2005.10.001"
  links:
    doi: "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"
  kind: "article"
  key: "BaetenL06"
- title: "Editorial"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "Jos van Wamel"
    link: "https://researchr.org/alias/jos-van-wamel"
  year: "1998"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/8010005/80100435.htm"
  links:
    doi: "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"
  kind: "article"
  key: "GrooteLW98"
- title: "Home Page"
  author:
  - name: "Bas Luttik"
    link: "https://researchr.org/alias/bas-luttik"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  researchr: "https://researchr.org/publication/homepages-l-BasLuttik"
  cites: 0
  citedby: 0
  howpublished: "http://www.win.tue.nl/~luttik/"
  kind: "misc"
  key: "homepages-l-BasLuttik"
- title: "On the expressiveness of choice quantification"
  author:
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0168-0072(02)00082-9"
  links:
    doi: "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"
  kind: "article"
  key: "Luttik03:0"
- 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: "Branching Bisimilarity with Explicit Divergence"
  author:
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "Nikola Trcka"
    link: "https://researchr.org/alias/nikola-trcka"
  year: "2008"
  doi: "http://arxiv.org/abs/0812.3068"
  note: "informal publication"
  links:
    doi: "http://arxiv.org/abs/0812.3068"
  researchr: "https://researchr.org/publication/abs-0812-3068"
  cites: 0
  citedby: 0
  journal: "CoRR"
  volume: "abs/0812.3068"
  kind: "article"
  key: "abs-0812-3068"
- 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: "What is algebraic in process theory?"
  author:
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.086"
  links:
    doi: "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"
  kind: "article"
  key: "Luttik06"
- title: "An ::::omega::::-Complete Equational Specification of Interleaving"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1853/18530729.htm"
  links:
    doi: "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:
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "José D. P. Rolim"
    link: "https://researchr.org/alias/jos%C3%A9-d.-p.-rolim"
  - name: "Emo Welzl"
    link: "https://researchr.org/alias/emo-welzl"
  volume: "1853"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67715-1"
  kind: "inproceedings"
  key: "FokkinkL00"
- 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: "Specification of Rewriting Strategies"
  author:
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "1997"
  month: "November"
  abstract: "User-definable strategies for the application of rewrite rules provide a means to construct transformation systems that  apply rewrite rules in a controlled way. This paper describes a strategy language and its interpretation. The language  is used to control the rewriting of terms using labeled rewrite rules. Rule labels are atomic strategies. Compound  strategies are formed by means of sequential composition, nondeterministic choice, left choice, fixed point recursion,  and two primitives for expressing term traversal. Several complex strategies such as bottom-up and top-down applica-  tion and (parallel) innermost and (parallel) outermost reduction can be defined in terms of these primitives. The paper  contains two case studies of the application of strategies. "
  links:
    "postscript": "http://www.st.ewi.tudelft.nl/~eelco/papers/LV97.ps"
  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:
  - name: "M. P. A. Sellink"
    link: "https://researchr.org/alias/m.-p.-a.-sellink"
  series: "Electronic Workshops in Computing"
  address: "Berlin"
  publisher: "Springer-Verlag"
  kind: "inproceedings"
  key: "LuttikV97"
- 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: "A Process-Theoretic Look at Automata"
  author:
  - name: "Jos C. M. Baeten"
    link: "https://researchr.org/alias/jos-c.-m.-baeten"
  - name: "Pieter J. L. Cuijpers"
    link: "https://researchr.org/alias/pieter-j.-l.-cuijpers"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "P. J. A. van Tilburg"
    link: "https://researchr.org/alias/p.-j.-a.-van-tilburg"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-11623-0_1"
  links:
    doi: "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:
  - name: "Farhad Arbab"
    link: "https://researchr.org/alias/farhad-arbab"
  - name: "Marjan Sirjani"
    link: "https://researchr.org/alias/marjan-sirjani"
  volume: "5961"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-11622-3"
  kind: "inproceedings"
  key: "BaetenCLT09"
- 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: "Some Remarks on Definability of Process Graphs"
  author:
  - name: "Clemens Grabmayer"
    link: "https://researchr.org/alias/clemens-grabmayer"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11817949_2"
  links:
    doi: "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:
  - name: "Christel Baier"
    link: "https://researchr.org/alias/christel-baier"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  volume: "4137"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37376-4"
  kind: "inproceedings"
  key: "GrabmayerKL06:0"
- 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: "Remarks on Thatte s transformation of term rewriting systems"
  author:
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "Piet Rodenburg"
    link: "https://researchr.org/alias/piet-rodenburg"
  - name: "Rakesh M. Verma"
    link: "https://researchr.org/alias/rakesh-m.-verma"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.ic.2003.09.006"
  links:
    doi: "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"
  kind: "article"
  key: "LuttikRV04"
- title: "Decomposition orders another generalisation of the fundamental theorem of arithmetic"
  author:
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "Vincent van Oostrom"
    link: "https://researchr.org/alias/vincent-van-oostrom"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2004.11.019"
  links:
    doi: "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"
  kind: "article"
  key: "LuttikO05"
- 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: "On finite alphabets and infinite bases"
  author:
  - name: "Taolue Chen"
    link: "https://researchr.org/alias/taolue-chen"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "Sumit Nain"
    link: "https://researchr.org/alias/sumit-nain"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.ic.2007.09.003"
  links:
    doi: "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"
  kind: "article"
  key: "ChenFLN08"
- title: "Branching Bisimilarity with Explicit Divergence"
  author:
  - name: "Rob J. van Glabbeek"
    link: "https://researchr.org/alias/rob-j.-van-glabbeek"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "Nikola Trcka"
    link: "https://researchr.org/alias/nikola-trcka"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/FI-2009-109"
  links:
    doi: "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"
  kind: "article"
  key: "GlabbeekLT09"
- title: "Stuttering Congruence for ::::chi::::"
  author:
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "Nikola Trcka"
    link: "https://researchr.org/alias/nikola-trcka"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11537328_16"
  links:
    doi: "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:
  - name: "Patrice Godefroid"
    link: "https://researchr.org/alias/patrice-godefroid"
  volume: "3639"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28195-9"
  kind: "inproceedings"
  key: "LuttikT05"
- 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: "A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory"
  author:
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2747&spage=562"
  links:
    doi: "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:
  - name: "Branislav Rovan"
    link: "https://researchr.org/alias/branislav-rovan"
  - name: "Peter Vojtás"
    link: "https://researchr.org/alias/peter-vojt%C3%A1s"
  volume: "2747"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40671-9"
  kind: "inproceedings"
  key: "Luttik03"
- title: "Analyzing a ::::chi:::: model of a turntable system using Spin, CADP and Uppaal"
  author:
  - name: "E. M. Bortnik"
    link: "https://researchr.org/alias/e.-m.-bortnik"
  - name: "Nikola Trcka"
    link: "https://researchr.org/alias/nikola-trcka"
  - name: "Anton Wijs"
    link: "https://researchr.org/alias/anton-wijs"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "J. M. van de Mortel-Fronczak"
    link: "https://researchr.org/alias/j.-m.-van-de-mortel-fronczak"
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "J. E. Rooda"
    link: "https://researchr.org/alias/j.-e.-rooda"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.jlap.2005.05.001"
  links:
    doi: "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"
  kind: "article"
  key: "BortnikTWLMBFR05"
- title: "Reflections on a Geometry of Processes"
  author:
  - name: "Clemens Grabmayer"
    link: "https://researchr.org/alias/clemens-grabmayer"
  - name: "Jan Willem Klop"
    link: "https://researchr.org/alias/jan-willem-klop"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.111"
  links:
    doi: "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"
  kind: "article"
  key: "GrabmayerKL06"
- 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"