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: "jlp"
  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: "fac"
  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: "APAL"
  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: "ifipTCS"
  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"
  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"
  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: "ENTCS"
  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: "icalp"
  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: "lmcs"
  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: "ASF+SDF"
  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: "tocl"
  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: "fsen"
  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: "BIRTHDAY"
  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"
  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: "ipl"
  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: "iandc"
  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: "TCS"
  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: "TCS"
  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: "iandc"
  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: "FUIN"
  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: "spin"
  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: "icalp"
  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: "mfcs"
  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: "jlp"
  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: "ENTCS"
  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"
  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"