publications:
- title: "A Checker for Modal Formulae for Processes with Data"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=223"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=223"
  tags:
  - "data-flow"
  - "C++"
  researchr: "https://researchr.org/publication/GrooteW03"
  cites: 0
  citedby: 0
  pages: "223-239"
  booktitle: "FMCO"
  kind: "inproceedings"
  key: "GrooteW03"
- title: "Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra"
  author:
  - name: "Christoph Brandt"
    link: "https://researchr.org/alias/christoph-brandt"
  - name: "Frank Hermann 0001"
    link: "https://researchr.org/alias/frank-hermann-0001"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2011"
  doi: "http://ws.acs.org.au/jrpit/JRPITVolumes/JRPIT43/JRPIT43.1.65.pdf"
  links:
    doi: "http://ws.acs.org.au/jrpit/JRPITVolumes/JRPIT43/JRPIT43.1.65.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/acj/BrandtHG11"
  researchr: "https://researchr.org/publication/BrandtHG11"
  cites: 0
  citedby: 0
  journal: "acj"
  volume: "43"
  number: "1"
  pages: "65-86"
  kind: "article"
  key: "BrandtHG11"
- title: "Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting"
  author:
  - name: "Thomas Neele"
    link: "https://researchr.org/alias/thomas-neele"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2018"
  doi: "https://doi.org/10.1007/978-3-030-02146-7_11"
  links:
    doi: "https://doi.org/10.1007/978-3-030-02146-7_11"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/facs2/NeeleWG18"
  researchr: "https://researchr.org/publication/NeeleWG18"
  cites: 0
  citedby: 0
  pages: "216-236"
  booktitle: "facs2"
  kind: "inproceedings"
  key: "NeeleWG18"
- title: "Pitfalls in Applying Model Learning to Industrial Legacy Software"
  author:
  - name: "Omar al Duhaiby"
    link: "https://researchr.org/alias/omar-al-duhaiby"
  - name: "Arjan J. Mooij"
    link: "https://researchr.org/alias/arjan-j.-mooij"
  - name: "Hans van Wezep"
    link: "https://researchr.org/alias/hans-van-wezep"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2018"
  doi: "https://doi.org/10.1007/978-3-030-03427-6_13"
  links:
    doi: "https://doi.org/10.1007/978-3-030-03427-6_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/isola/DuhaibyMWG18"
  researchr: "https://researchr.org/publication/DuhaibyMWG18"
  cites: 0
  citedby: 0
  pages: "121-138"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "DuhaibyMWG18"
- title: "Binary decision diagrams for first-order predicate logic"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Olga Tveretina"
    link: "https://researchr.org/alias/olga-tveretina"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S1567-8326(03)00039-0"
  links:
    doi: "http://dx.doi.org/10.1016/S1567-8326(03)00039-0"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/GrooteT03"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "57"
  number: "1-2"
  pages: "1-22"
  kind: "article"
  key: "GrooteT03"
- title: "Completeness of Timed mCRL"
  author:
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Mark van der Zwaag"
    link: "https://researchr.org/alias/mark-van-der-zwaag"
  - name: "Jos van Wamel"
    link: "https://researchr.org/alias/jos-van-wamel"
  year: "2002"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/ReniersGZW02"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "50"
  number: "3-4"
  pages: "361-402"
  kind: "article"
  key: "ReniersGZW02"
- title: "Software that Meets Its Intent"
  author:
  - name: "Marieke Huisman"
    link: "https://researchr.org/alias/marieke-huisman"
  - name: "Herbert Bos"
    link: "https://researchr.org/alias/herbert-bos"
  - name: "Sjaak Brinkkemper"
    link: "https://researchr.org/alias/sjaak-brinkkemper"
  - name: "Arie van Deursen"
    link: "https://researchr.org/alias/arie-van-deursen"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Patricia Lago"
    link: "https://researchr.org/alias/patricia-lago"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-319-47169-3_47"
  abstract: "Software is widely used, and society increasingly depends on its reliability. However, software has become so complex and it evolves so quickly that we fail to keep it under control. Therefore, we propose intents: fundamental laws that capture a software systems’ intended behavior (resilient, secure, safe, sustainable, etc.). The realization of this idea requires novel theories, algorithms, tools, and techniques to discover, express, verify, and evolve software intents. Thus, future software systems will be able to verify themselves that they meet their intents. Moreover, they will be able to respond to deviations from intents through self-correction. In this article we propose a research agenda, outlining which novel theories, algorithms and tools are required."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-47169-3_47"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/isola/HuismanBBDGLPV16"
    "techreport (pdf)": "https://pure.tudelft.nl/portal/files/8041146/TUD_SERG_2016_021.pdf"
  researchr: "https://researchr.org/publication/HuismanBBDGLPV16"
  cites: 0
  citedby: 0
  pages: "609-625"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "HuismanBBDGLPV16"
- title: "Specification guidelines to avoid the state space explosion problem"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Tim W. D. M. Kouters"
    link: "https://researchr.org/alias/tim-w.-d.-m.-kouters"
  - name: "Ammar Osaiweran"
    link: "https://researchr.org/alias/ammar-osaiweran"
  year: "2015"
  doi: "http://dx.doi.org/10.1002/stvr.1536"
  links:
    doi: "http://dx.doi.org/10.1002/stvr.1536"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/stvr/GrooteKO15"
  researchr: "https://researchr.org/publication/GrooteKO15"
  cites: 0
  citedby: 0
  journal: "stvr"
  volume: "25"
  number: "1"
  pages: "4-33"
  kind: "article"
  key: "GrooteKO15"
- title: "Transition System Specifications with Negative Premises (Extended Abstract)"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1990"
  researchr: "https://researchr.org/publication/Groote90a"
  cites: 0
  citedby: 0
  pages: "332-341"
  booktitle: "concur"
  kind: "inproceedings"
  key: "Groote90a"
- title: "Lock-free parallel and concurrent garbage collection by mark&sweep"
  author:
  - name: "Hui Gao"
    link: "https://researchr.org/alias/hui-gao"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Wim H. Hesselink"
    link: "https://researchr.org/alias/wim-h.-hesselink"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.scico.2006.10.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2006.10.001"
  researchr: "https://researchr.org/publication/GaoGH07"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "64"
  number: "3"
  pages: "341-374"
  kind: "article"
  key: "GaoGH07"
- title: "Transition System Specifications with Negative Premises"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1993"
  researchr: "https://researchr.org/publication/Groote93%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "118"
  number: "2"
  pages: "263-299"
  kind: "article"
  key: "Groote93:0"
- title: "An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "David N. Jansen"
    link: "https://researchr.org/alias/david-n.-jansen"
  - name: "Jeroen J. A. Keiren"
    link: "https://www.jeroenkeiren.nl"
  - name: "Anton Wijs"
    link: "https://researchr.org/alias/anton-wijs"
  year: "2017"
  doi: "http://doi.acm.org/10.1145/3060140"
  links:
    doi: "http://doi.acm.org/10.1145/3060140"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tocl/GrooteJKW17"
  researchr: "https://researchr.org/publication/GrooteJKW17"
  cites: 0
  citedby: 0
  journal: "tocl"
  volume: "18"
  number: "2"
  kind: "article"
  key: "GrooteJKW17"
- title: "Switching Graphs"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Bas Ploeger"
    link: "https://researchr.org/alias/bas-ploeger"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.12.035"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.12.035"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/GrooteP08"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "223"
  pages: "119-135"
  kind: "article"
  key: "GrooteP08"
- title: "Analyzing a Controller of a Power Distribution Unit Using Formal Methods"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Ammar Osaiweran"
    link: "https://researchr.org/alias/ammar-osaiweran"
  - name: "Jacco H. Wesselius"
    link: "https://researchr.org/alias/jacco-h.-wesselius"
  year: "2012"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2012.122"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2012.122"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/GrooteOW12"
  researchr: "https://researchr.org/publication/GrooteOW12-0"
  cites: 0
  citedby: 0
  pages: "420-428"
  booktitle: "icst"
  kind: "inproceedings"
  key: "GrooteOW12-0"
- title: "Verification of Temporal Properties of Processes in a Setting with Data"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Radu Mateescu"
    link: "https://researchr.org/alias/radu-mateescu"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480074.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480074.htm"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/GrooteM98"
  cites: 0
  citedby: 0
  pages: "74-90"
  booktitle: "amast"
  kind: "inproceedings"
  key: "GrooteM98"
- title: "Specification Guidelines to Avoid the State Space Explosion Problem"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Tim W. D. M. Kouters"
    link: "https://researchr.org/alias/tim-w.-d.-m.-kouters"
  - name: "Ammar Osaiweran"
    link: "https://researchr.org/alias/ammar-osaiweran"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-29320-7_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-29320-7_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fsen/GrooteKO11"
  researchr: "https://researchr.org/publication/GrooteKO11"
  cites: 0
  citedby: 0
  pages: "112-127"
  booktitle: "fsen"
  kind: "inproceedings"
  key: "GrooteKO11"
- title: "Verification of networks of timed automata using mCRL2"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  - name: "Yaroslav S. Usenko"
    link: "https://researchr.org/alias/yaroslav-s.-usenko"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/IPDPS.2008.4536575"
  links:
    doi: "http://dx.doi.org/10.1109/IPDPS.2008.4536575"
  researchr: "https://researchr.org/publication/GrooteRU08"
  cites: 0
  citedby: 0
  pages: "1-8"
  booktitle: "ipps"
  kind: "inproceedings"
  key: "GrooteRU08"
- title: "Confluence for Process Verification"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "M. P. A. Sellink"
    link: "https://researchr.org/alias/m.-p.-a.-sellink"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/S0304-3975(96)80702-X"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(96)80702-X"
  researchr: "https://researchr.org/publication/GrooteS96"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "170"
  number: "1-2"
  pages: "47-81"
  kind: "article"
  key: "GrooteS96"
- title: "Switching Graphs"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Bas Ploeger"
    link: "https://researchr.org/alias/bas-ploeger"
  year: "2009"
  doi: "http://dx.doi.org/10.1142/S0129054109006930"
  links:
    doi: "http://dx.doi.org/10.1142/S0129054109006930"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/GrooteP09"
  cites: 0
  citedby: 0
  journal: "ijfcs"
  volume: "20"
  number: "5"
  pages: "869-886"
  kind: "article"
  key: "GrooteP09"
- title: "The parallel composition of uniform processes with data"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jos van Wamel"
    link: "https://researchr.org/alias/jos-van-wamel"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0304-3975(00)00324-8"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(00)00324-8"
  tags:
  - "composition"
  - "data-flow"
  researchr: "https://researchr.org/publication/GrooteW01%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "266"
  number: "1-2"
  pages: "631-652"
  kind: "article"
  key: "GrooteW01:0"
- title: "Large State Space Visualization"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Frank van Ham"
    link: "https://researchr.org/alias/frank-van-ham"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2619/26190585.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2619/26190585.htm"
  researchr: "https://researchr.org/publication/GrooteH03"
  cites: 0
  citedby: 0
  pages: "585-590"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "GrooteH03"
- title: "Analysing the BKE-security Protocol with ::::µ::::CRL"
  author:
  - name: "Stefan Blom"
    link: "https://researchr.org/alias/stefan-blom"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.005"
  tags:
  - "protocol"
  - "security"
  researchr: "https://researchr.org/publication/BlomGMS05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "139"
  number: "1"
  pages: "49-90"
  kind: "article"
  key: "BlomGMS05"
- title: "The Vital Processor Interlocking"
  author:
  - name: "Sebastiaan van Vlijmen"
    link: "https://researchr.org/alias/sebastiaan-van-vlijmen"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Wilco Koorn"
    link: "https://researchr.org/alias/wilco-koorn"
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/45/23/show/Products/notes/index.htt#006"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/45/23/show/Products/notes/index.htt#006"
  researchr: "https://researchr.org/publication/VlijmenGK99"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "21"
  pages: "1-56"
  kind: "article"
  key: "VlijmenGK99"
- title: "Operational semantics for Petri net components"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Marc Voorhoeve"
    link: "https://researchr.org/alias/marc-voorhoeve"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.tcs.2007.01.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2007.01.003"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/GrooteV07"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "379"
  number: "1-2"
  pages: "1-19"
  kind: "article"
  key: "GrooteV07"
- title: "Analysis of Path Planning Algorithms: a Formal Verification-based Approach"
  author:
  - name: "Arash Khabbaz Saberi"
    link: "https://researchr.org/alias/arash-khabbaz-saberi"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Sarmen Keshishzadeh"
    link: "https://researchr.org/alias/sarmen-keshishzadeh"
  year: "2013"
  doi: "http://dx.doi.org/10.7551/978-0-262-31709-2-ch035"
  links:
    doi: "http://dx.doi.org/10.7551/978-0-262-31709-2-ch035"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecal/SaberiGK13"
  researchr: "https://researchr.org/publication/SaberiGK13"
  cites: 0
  citedby: 0
  pages: "232-239"
  booktitle: "ecal"
  kind: "inproceedings"
  key: "SaberiGK13"
- title: "The meaning of Negative Premises in Transition System Specifications"
  author:
  - name: "Roland N. Bol"
    link: "https://researchr.org/alias/roland-n.-bol"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1990"
  researchr: "https://researchr.org/publication/BolG90"
  cites: 0
  citedby: 0
  pages: "2-9"
  booktitle: "lpnmr"
  kind: "inproceedings"
  key: "BolG90"
- title: "Search algorithms for automated validation"
  author:
  - name: "Tom A. N. Engels"
    link: "https://researchr.org/alias/tom-a.-n.-engels"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Muck van Weerdenburg"
    link: "https://researchr.org/alias/muck-van-weerdenburg"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.jlap.2008.11.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2008.11.003"
  tags:
  - "C++"
  - "search"
  researchr: "https://researchr.org/publication/EngelsGWW09"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "78"
  number: "4"
  pages: "274-287"
  kind: "article"
  key: "EngelsGWW09"
- title: "Notions of bisimulation and congruence formats for SOS with data"
  author:
  - name: "Mohammad Reza Mousavi"
    link: "https://researchr.org/alias/mohammad-reza-mousavi"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.ic.2005.03.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2005.03.002"
  tags:
  - "SOS"
  - "data-flow"
  researchr: "https://researchr.org/publication/MousaviRG05"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "200"
  number: "1"
  pages: "107-147"
  kind: "article"
  key: "MousaviRG05"
- title: "A Bounded Retransmission Protocol for Large Data Packets"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "1996"
  tags:
  - "protocol"
  - "data-flow"
  researchr: "https://researchr.org/publication/GrooteP96"
  cites: 0
  citedby: 0
  pages: "536-550"
  booktitle: "amast"
  kind: "inproceedings"
  key: "GrooteP96"
- title: "System Validation: Automata and behavioural equivalences"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2019"
  researchr: "https://researchr.org/publication/Groote2019"
  cites: 0
  citedby: 0
  kind: "misc"
  key: "Groote2019"
- title: "Almost Wait-Free Resizable Hashtable"
  author:
  - name: "Hui Gao"
    link: "https://researchr.org/alias/hui-gao"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Wim H. Hesselink"
    link: "https://researchr.org/alias/wim-h.-hesselink"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/01/213210050aabs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/01/213210050aabs.htm"
  researchr: "https://researchr.org/publication/GaoGH04"
  cites: 0
  citedby: 0
  booktitle: "ipps"
  kind: "inproceedings"
  key: "GaoGH04"
- title: "Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study"
  author:
  - name: "Frank P. M. Stappers"
    link: "https://researchr.org/alias/frank-p.-m.-stappers"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-17071-3_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-17071-3_9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmco/StappersRG09"
  tags:
  - "case study"
  - "design"
  researchr: "https://researchr.org/publication/StappersRG09"
  cites: 0
  citedby: 0
  pages: "166-185"
  booktitle: "FMCO"
  kind: "inproceedings"
  key: "StappersRG09"
- title: "Experience report on developing the Front-end client unit under the control of formal methods"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Ammar Osaiweran"
    link: "https://researchr.org/alias/ammar-osaiweran"
  - name: "Jacco H. Wesselius"
    link: "https://researchr.org/alias/jacco-h.-wesselius"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2245276.2231962"
  links:
    doi: "http://doi.acm.org/10.1145/2245276.2231962"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sac/GrooteOW12"
  researchr: "https://researchr.org/publication/GrooteOW12"
  cites: 0
  citedby: 0
  pages: "1183-1190"
  booktitle: "SAC"
  kind: "inproceedings"
  key: "GrooteOW12"
- title: "An O(m\\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Anton Wijs"
    link: "https://researchr.org/alias/anton-wijs"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-662-49674-9_40"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-49674-9_40"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tacas/GrooteW16"
    successor: "https://researchr.org/publication/GrooteJKW17"
  researchr: "https://researchr.org/publication/GrooteW16"
  cites: 0
  citedby: 0
  pages: "607-624"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "GrooteW16"
- title: "Modeling and Analysis of Communicating Systems"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Mohammad Reza Mousavi"
    link: "https://researchr.org/alias/mohammad-reza-mousavi"
  year: "2014"
  doi: "https://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems"
  links:
    doi: "https://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/mit/GrooteM2014"
  researchr: "https://researchr.org/publication/GrooteM2014"
  cites: 0
  citedby: 0
  publisher: "MIT Press"
  isbn: "9780262321020"
  kind: "book"
  key: "GrooteM2014"
- title: "Computer assisted manipulation of algebraic process specifications"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Bert Lisser"
    link: "https://researchr.org/alias/bert-lisser"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636531"
  links:
    doi: "http://doi.acm.org/10.1145/636517.636531"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigplan/GrooteL02"
  researchr: "https://researchr.org/publication/GrooteL02-0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "37"
  number: "12"
  pages: "98-107"
  kind: "article"
  key: "GrooteL02-0"
- 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: "Equational Binary Decision Diagrams"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1955/19550161.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1955/19550161.htm"
  researchr: "https://researchr.org/publication/GrooteP00%3A0"
  cites: 0
  citedby: 0
  pages: "161-178"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "GrooteP00:0"
- title: "Congruence for SOS with Data"
  author:
  - name: "Mohammad Reza Mousavi"
    link: "https://researchr.org/alias/mohammad-reza-mousavi"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/lics/2004/2192/00/21920303abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/lics/2004/2192/00/21920303abs.htm"
  tags:
  - "SOS"
  - "data-flow"
  researchr: "https://researchr.org/publication/MousaviRG04"
  cites: 0
  citedby: 0
  pages: "303-312"
  booktitle: "lics"
  kind: "inproceedings"
  key: "MousaviRG04"
- title: "Interactive visualization of large state spaces"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Frank van Ham"
    link: "https://researchr.org/alias/frank-van-ham"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10009-005-0198-5"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-005-0198-5"
  researchr: "https://researchr.org/publication/GrooteH06"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "8"
  number: "1"
  pages: "77-91"
  kind: "article"
  key: "GrooteH06"
- title: "The Meaning of Negative Premises in Transition System Specifications"
  author:
  - name: "Roland N. Bol"
    link: "https://researchr.org/alias/roland-n.-bol"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1991"
  researchr: "https://researchr.org/publication/BolG91"
  cites: 0
  citedby: 0
  pages: "481-494"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "BolG91"
- title: "Invariants in Process Algebra with Data"
  author:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1994"
  tags:
  - "process algebra"
  - "data-flow"
  - " algebra"
  researchr: "https://researchr.org/publication/BezemG94"
  cites: 0
  citedby: 0
  pages: "401-416"
  booktitle: "concur"
  kind: "inproceedings"
  key: "BezemG94"
- title: "Analysis of a distributed system for lifting trucks"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Arno G. Wouters"
    link: "https://researchr.org/alias/arno-g.-wouters"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S1567-8326(02)00038-3"
  links:
    doi: "http://dx.doi.org/10.1016/S1567-8326(02)00038-3"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/GrootePW03"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "55"
  number: "1-2"
  pages: "21-56"
  kind: "article"
  key: "GrootePW03"
- title: "A Complete Equational Axiomatization for MPA with String Iteration"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1999"
  doi: "http://dx.doi.org/10.1016/S0304-3975(97)00182-5"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(97)00182-5"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/AcetoG99"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "211"
  number: "1-2"
  pages: "339-374"
  kind: "article"
  key: "AcetoG99"
- title: "Formalising the Dezyne Modelling Language in mCRL2"
  author:
  - name: "Rutger van Beusekom"
    link: "https://researchr.org/alias/rutger-van-beusekom"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Paul F. Hoogendijk"
    link: "https://researchr.org/alias/paul-f.-hoogendijk"
  - name: "Robert Howe"
    link: "https://researchr.org/alias/robert-howe"
  - name: "Wieger Wesselink"
    link: "https://researchr.org/alias/wieger-wesselink"
  - name: "Rob Wieringa"
    link: "https://researchr.org/alias/rob-wieringa"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2017"
  doi: "https://doi.org/10.1007/978-3-319-67113-0_14"
  links:
    doi: "https://doi.org/10.1007/978-3-319-67113-0_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmics/BeusekomGHHWWW17"
  researchr: "https://researchr.org/publication/BeusekomGHHWWW17"
  cites: 0
  citedby: 0
  pages: "217-233"
  booktitle: "fmics"
  kind: "inproceedings"
  key: "BeusekomGHHWWW17"
- title: "Checking Verifications of Protocols and Distributed Systems by Computer"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "François Monin"
    link: "https://researchr.org/alias/fran%C3%A7ois-monin"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1466/14660629.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1466/14660629.htm"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/GrooteMP98"
  cites: 0
  citedby: 0
  pages: "629-655"
  booktitle: "concur"
  kind: "inproceedings"
  key: "GrooteMP98"
- title: "State Space Reduction Using Partial tau-Confluence"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1893/18930383.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1893/18930383.htm"
  researchr: "https://researchr.org/publication/GrooteP00"
  cites: 0
  citedby: 0
  pages: "383-393"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "GrooteP00"
- title: "System Validation (3): Requirements by modal formulas"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2019"
  researchr: "https://researchr.org/publication/Groote2019-1"
  cites: 0
  citedby: 0
  kind: "misc"
  key: "Groote2019-1"
- title: "The Meaning of Negative Premises in Transition System Specifications"
  author:
  - name: "Roland N. Bol"
    link: "https://researchr.org/alias/roland-n.-bol"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1996"
  doi: "http://doi.acm.org/10.1145/234752.234756"
  links:
    doi: "http://doi.acm.org/10.1145/234752.234756"
  researchr: "https://researchr.org/publication/BolG96"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "43"
  number: "5"
  pages: "863-914"
  kind: "article"
  key: "BolG96"
- title: "Specification and verification of real time systems in ACP"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1990"
  researchr: "https://researchr.org/publication/Groote90"
  cites: 0
  citedby: 0
  pages: "261-274"
  booktitle: "pstv"
  kind: "inproceedings"
  key: "Groote90"
- title: "Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract)"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "1991"
  tags:
  - "process algebra"
  - " algebra"
  - "logic"
  researchr: "https://researchr.org/publication/GrooteP91"
  cites: 0
  citedby: 0
  pages: "235-249"
  booktitle: "concur"
  kind: "inproceedings"
  key: "GrooteP91"
- title: "An algorithm for the asynchronous Write-All problem based on process collision"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Wim H. Hesselink"
    link: "https://researchr.org/alias/wim-h.-hesselink"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Rogier Vermeulen"
    link: "https://researchr.org/alias/rogier-vermeulen"
  year: "2001"
  doi: "http://link.springer.de/link/service/journals/00446/bibs/1014002/10140075.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00446/bibs/1014002/10140075.htm"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/GrooteHMV01"
  cites: 0
  citedby: 0
  journal: "dc"
  volume: "14"
  number: "2"
  pages: "75-81"
  kind: "article"
  key: "GrooteHMV01"
- title: "The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications"
  author:
  - name: "Mahmoud Talebi"
    link: "https://researchr.org/alias/mahmoud-talebi"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jean-Paul M. G. Linnartz"
    link: "https://researchr.org/alias/jean-paul-m.-g.-linnartz"
  year: "2017"
  doi: "https://doi.org/10.1007/978-3-319-61428-1_14"
  links:
    doi: "https://doi.org/10.1007/978-3-319-61428-1_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/asmta/TalebiGL17"
  researchr: "https://researchr.org/publication/TalebiGL17"
  cites: 0
  citedby: 0
  pages: "196-211"
  booktitle: "asmta"
  kind: "inproceedings"
  key: "TalebiGL17"
- title: "Problem Solving Using Process Algebra Considered Insightful"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Erik P. de Vink"
    link: "https://researchr.org/alias/erik-p.-de-vink"
  year: "2017"
  doi: "https://doi.org/10.1007/978-3-319-68270-9_3"
  links:
    doi: "https://doi.org/10.1007/978-3-319-68270-9_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/GrooteV17"
  researchr: "https://researchr.org/publication/GrooteV17"
  cites: 0
  citedby: 0
  pages: "48-63"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "GrooteV17"
- title: "A linear translation from CTL* to the first-order modal μ -calculus"
  author:
  - name: "Sjoerd Cranen"
    link: "https://researchr.org/alias/sjoerd-cranen"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.tcs.2011.02.034"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2011.02.034"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tcs/CranenGR11"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/CranenGR11"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "412"
  number: "28"
  pages: "3129-3139"
  kind: "article"
  key: "CranenGR11"
- title: "Verifying a Sliding Window Protocol in µCRL"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Bahareh Badban"
    link: "https://researchr.org/alias/bahareh-badban"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=148"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=148"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/FokkinkGPBP04"
  cites: 0
  citedby: 0
  pages: "148-163"
  booktitle: "amast"
  kind: "inproceedings"
  key: "FokkinkGPBP04"
- title: "System Validation (2): Model process behaviour"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2019"
  researchr: "https://researchr.org/publication/Groote2019-0"
  cites: 0
  citedby: 0
  kind: "misc"
  key: "Groote2019-0"
- title: "Experiences in developing the mCRL2 toolset"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jeroen J. A. Keiren"
    link: "https://www.jeroenkeiren.nl"
  - name: "Frank P. M. Stappers"
    link: "https://researchr.org/alias/frank-p.-m.-stappers"
  - name: "Wieger Wesselink"
    link: "https://researchr.org/alias/wieger-wesselink"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2011"
  doi: "http://dx.doi.org/10.1002/spe.1021"
  links:
    doi: "http://dx.doi.org/10.1002/spe.1021"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/spe/GrooteKSWW11"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/GrooteKSWW11"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "41"
  number: "2"
  pages: "143-153"
  kind: "article"
  key: "GrooteKSWW11"
- title: "An Efficient Algorithm to Determine Probabilistic Bisimulation"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jao Rivera Verduzco"
    link: "https://researchr.org/alias/jao-rivera-verduzco"
  - name: "Erik P. de Vink"
    link: "https://researchr.org/alias/erik-p.-de-vink"
  year: "2018"
  doi: "https://doi.org/10.3390/a11090131"
  links:
    doi: "https://doi.org/10.3390/a11090131"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/algorithms/GrooteVV18"
  researchr: "https://researchr.org/publication/GrooteVV18"
  cites: 0
  citedby: 0
  journal: "algorithms"
  volume: "11"
  number: "9"
  pages: "131"
  kind: "article"
  key: "GrooteVV18"
- title: "Advances in Model Driven Software Engineering"
  author:
  - name: "Mark G. J. van den Brand"
    link: "https://researchr.org/alias/mark-g.-j.-van-den-brand"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2012"
  doi: "http://ercim-news.ercim.eu/en91/ri/advances-in-model-driven-software-engineering"
  links:
    doi: "http://ercim-news.ercim.eu/en91/ri/advances-in-model-driven-software-engineering"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ercim/BrandG12"
  researchr: "https://researchr.org/publication/BrandG12"
  cites: 0
  citedby: 0
  journal: "ercim"
  volume: "2012"
  number: "91"
  kind: "article"
  key: "BrandG12"
- title: "Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Misa Keinänen"
    link: "https://researchr.org/alias/misa-kein%C3%A4nen"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=436"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=436"
  researchr: "https://researchr.org/publication/GrooteK04"
  cites: 0
  citedby: 0
  pages: "436-450"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "GrooteK04"
- title: "Proof Theory for muCRL: A Language for Processes with Data"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "1993"
  tags:
  - "data-flow language"
  - "data-flow"
  researchr: "https://researchr.org/publication/GrooteP93"
  cites: 0
  citedby: 0
  pages: "232-251"
  booktitle: "sosl"
  kind: "inproceedings"
  key: "GrooteP93"
- title: "A syntactic commutativity format for SOS"
  author:
  - name: "Mohammad Reza Mousavi"
    link: "https://researchr.org/alias/mohammad-reza-mousavi"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.ipl.2004.11.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2004.11.007"
  tags:
  - "SOS"
  researchr: "https://researchr.org/publication/MousaviRG05%3A0"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "93"
  number: "5"
  pages: "217-223"
  kind: "article"
  key: "MousaviRG05:0"
- title: "Concurrency Theory Will Set Standards for Description and Analysis of Software"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1996"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/Groote96"
  cites: 0
  citedby: 0
  journal: "ACM Comput. Surv."
  volume: "28"
  number: "4es"
  pages: "44"
  kind: "article"
  key: "Groote96"
- title: "A Probabilistic Analysis of the Game of the Goose"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Freek Wiedijk"
    link: "https://researchr.org/alias/freek-wiedijk"
  - name: "Hans Zantema"
    link: "https://researchr.org/alias/hans-zantema"
  year: "2016"
  doi: "http://dx.doi.org/10.1137/140983781"
  links:
    doi: "http://dx.doi.org/10.1137/140983781"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/siamrev/GrooteWZ16"
  researchr: "https://researchr.org/publication/GrooteWZ16"
  cites: 0
  citedby: 0
  journal: "siamrev"
  volume: "58"
  number: "1"
  pages: "143-155"
  kind: "article"
  key: "GrooteWZ16"
- title: "Continuous approximation of stochastic models for wireless sensor networks"
  author:
  - name: "Mahmoud Talebi"
    link: "https://researchr.org/alias/mahmoud-talebi"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jean-Paul M. G. Linnartz"
    link: "https://researchr.org/alias/jean-paul-m.-g.-linnartz"
  year: "2015"
  doi: "http://dx.doi.org/10.1109/SCVT.2015.7374240"
  links:
    doi: "http://dx.doi.org/10.1109/SCVT.2015.7374240"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/scvt/TalebiGL15"
  researchr: "https://researchr.org/publication/TalebiGL15"
  cites: 0
  citedby: 0
  pages: "1-6"
  booktitle: "scvt"
  kind: "inproceedings"
  key: "TalebiGL15"
- title: "Verification of a sliding window protocol in µCRL and PVS"
  author:
  - name: "Bahareh Badban"
    link: "https://researchr.org/alias/bahareh-badban"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s00165-005-0070-0"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-005-0070-0"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/BadbanFGPP05"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "17"
  number: "3"
  pages: "342-388"
  kind: "article"
  key: "BadbanFGPP05"
- title: "Linearization in parallel pCRL"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Alban Ponse"
    link: "https://researchr.org/alias/alban-ponse"
  - name: "Yaroslav S. Usenko"
    link: "http://www.usenko.com/"
  year: "2001"
  researchr: "https://researchr.org/publication/GrootePU01"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "48"
  number: "1-2"
  pages: "39-70"
  kind: "article"
  key: "GrootePU01"
- title: "Analyzing the effects of formal methods on the development of industrial control software"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Ammar Osaiweran"
    link: "https://researchr.org/alias/ammar-osaiweran"
  - name: "Jacco H. Wesselius"
    link: "https://researchr.org/alias/jacco-h.-wesselius"
  year: "2011"
  doi: "http://dx.doi.org/10.1109/ICSM.2011.6081983"
  links:
    doi: "http://dx.doi.org/10.1109/ICSM.2011.6081983"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/GrooteOW11"
  researchr: "https://researchr.org/publication/GrooteOW11"
  cites: 0
  citedby: 0
  pages: "467-472"
  booktitle: "ICSM"
  kind: "inproceedings"
  key: "GrooteOW11"
- title: "An Overview of the mCRL2 Toolset and Its Recent Advances"
  author:
  - name: "Sjoerd Cranen"
    link: "https://researchr.org/alias/sjoerd-cranen"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jeroen J. A. Keiren"
    link: "https://www.jeroenkeiren.nl"
  - name: "Frank P. M. Stappers"
    link: "https://researchr.org/alias/frank-p.-m.-stappers"
  - name: "Erik P. de Vink"
    link: "https://researchr.org/alias/erik-p.-de-vink"
  - name: "Wieger Wesselink"
    link: "https://researchr.org/alias/wieger-wesselink"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-36742-7_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-36742-7_15"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tacas/CranenGKSVWW13"
  researchr: "https://researchr.org/publication/CranenGKSVWW13"
  cites: 0
  citedby: 0
  pages: "199-213"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "CranenGKSVWW13"
- title: "Redundancy in the Software Design Process is Essential for Designing Correct Software"
  author:
  - name: "Mark G. J. van den Brand"
    link: "https://researchr.org/alias/mark-g.-j.-van-den-brand"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2014"
  doi: "http://ercim-news.ercim.eu/en99/special/redundancy-in-the-software-design-process-is-essential-for-designing-correct-software"
  links:
    doi: "http://ercim-news.ercim.eu/en99/special/redundancy-in-the-software-design-process-is-essential-for-designing-correct-software"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ercim/BrandG14"
  researchr: "https://researchr.org/publication/BrandG14"
  cites: 0
  citedby: 0
  journal: "ercim"
  volume: "2014"
  number: "99"
  kind: "article"
  key: "BrandG14"
- title: "Discretization of Timed Automata in Timed mu"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  - name: "Yaroslav S. Usenko"
    link: "http://www.usenko.com/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.084"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.084"
  researchr: "https://researchr.org/publication/GrooteRU06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "162"
  pages: "197-202"
  kind: "article"
  key: "GrooteRU06"
- title: "Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract)"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Frits W. Vaandrager"
    link: "https://researchr.org/alias/frits-w.-vaandrager"
  year: "1989"
  tags:
  - "semantics"
  - " structural operational semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/GrooteV89"
  cites: 0
  citedby: 0
  pages: "423-438"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "GrooteV89"
- title: "Dogfooding the Formal Semantics of mCRL2"
  author:
  - name: "Frank P. M. Stappers"
    link: "https://researchr.org/alias/frank-p.-m.-stappers"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  - name: "Sven Weber"
    link: "https://researchr.org/alias/sven-weber"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2012"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEW.2012.16"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEW.2012.16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sew/StappersRWG12"
  researchr: "https://researchr.org/publication/StappersRWG12"
  cites: 0
  citedby: 0
  pages: "90-99"
  booktitle: "sew"
  kind: "inproceedings"
  key: "StappersRWG12"
- title: "Formalizing Process Algebraic Verifications in the Calculus of Constructions"
  author:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Roland N. Bol"
    link: "https://researchr.org/alias/roland-n.-bol"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1997"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BezemBG97"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "9"
  number: "1"
  pages: "1-48"
  kind: "article"
  key: "BezemBG97"
- title: "The Formal Specification Language mCRL2"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Aad Mathijssen"
    link: "https://researchr.org/alias/aad-mathijssen"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  - name: "Yaroslav S. Usenko"
    link: "https://researchr.org/alias/yaroslav-s.-usenko"
  - name: "Muck van Weerdenburg"
    link: "https://researchr.org/alias/muck-van-weerdenburg"
  year: "2006"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/862"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/862"
  researchr: "https://researchr.org/publication/GrooteMRUW06"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "GrooteMRUW06"
- title: "A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Misa Keinänen"
    link: "https://researchr.org/alias/misa-kein%C3%A4nen"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11560647_35"
  links:
    doi: "http://dx.doi.org/10.1007/11560647_35"
  researchr: "https://researchr.org/publication/GrooteK05"
  cites: 0
  citedby: 0
  pages: "532-545"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "GrooteK05"
- title: "Parameterised Boolean Equation Systems (Extended Abstract)"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3170&spage=308"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3170&spage=308"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/GrooteW04"
  cites: 0
  citedby: 0
  pages: "308-324"
  booktitle: "concur"
  kind: "inproceedings"
  key: "GrooteW04"
- title: "Foreword"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Martin Rem"
    link: "https://researchr.org/alias/martin-rem"
  year: "1997"
  researchr: "https://researchr.org/publication/GrooteR97"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "29"
  number: "1-2"
  pages: "1-2"
  kind: "article"
  key: "GrooteR97"
- title: "Focus points and convergent process operators: a proof strategy for protocol verification"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jan Springintveld"
    link: "https://researchr.org/alias/jan-springintveld"
  year: "2001"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/GrooteS01"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "49"
  number: "1-2"
  pages: "31-60"
  kind: "article"
  key: "GrooteS01"
- title: "Time abstraction in timed /spl mu/CRL a la regions"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  - name: "Yaroslav S. Usenko"
    link: "http://www.usenko.com/"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/IPDPS.2006.1639423"
  links:
    doi: "http://dx.doi.org/10.1109/IPDPS.2006.1639423"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/GrooteRU06%3A0"
  cites: 0
  citedby: 0
  booktitle: "ipps"
  kind: "inproceedings"
  key: "GrooteRU06:0"
- title: "Undecidable Equivalences for Basic Process Algebra"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Hans Hüttel"
    link: "https://researchr.org/alias/hans-h%C3%BCttel"
  year: "1994"
  month: "December"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/GrooteH94"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "115"
  number: "2"
  pages: "354-371"
  kind: "article"
  key: "GrooteH94"
- title: "Lock-free dynamic hash tables with open addressing"
  author:
  - name: "Hui Gao"
    link: "https://researchr.org/alias/hui-gao"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Wim H. Hesselink"
    link: "https://researchr.org/alias/wim-h.-hesselink"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s00446-004-0115-2"
  links:
    doi: "http://dx.doi.org/10.1007/s00446-004-0115-2"
  tags:
  - "source-to-source"
  - "open-source"
  researchr: "https://researchr.org/publication/GaoGH05"
  cites: 0
  citedby: 0
  journal: "dc"
  volume: "18"
  number: "1"
  pages: "21-42"
  kind: "article"
  key: "GaoGH05"
- title: "Process Algebra Needs Proof Methodology (Columns: Concurrency)"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  year: "2004"
  doi: "http://www.cs.auc.dk//~luca/BEATCS/colConc82.pdf"
  links:
    doi: "http://www.cs.auc.dk//~luca/BEATCS/colConc82.pdf"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/FokkinkGR04"
  cites: 0
  citedby: 0
  journal: "eatcs"
  volume: "82"
  pages: "109-125"
  kind: "article"
  key: "FokkinkGR04"
- title: "Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Hans Zantema"
    link: "http://www.win.tue.nl/~hzantema/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2244/22440033.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2244/22440033.htm"
  researchr: "https://researchr.org/publication/GrooteZ01"
  cites: 0
  citedby: 0
  pages: "33-38"
  booktitle: "ershov"
  kind: "inproceedings"
  key: "GrooteZ01"
- title: "The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability"
  author:
  - name: "Olav Bunte"
    link: "https://researchr.org/alias/olav-bunte"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jeroen J. A. Keiren"
    link: "https://www.jeroenkeiren.nl"
  - name: "Maurice Laveaux"
    link: "https://researchr.org/alias/maurice-laveaux"
  - name: "Thomas Neele"
    link: "https://researchr.org/alias/thomas-neele"
  - name: "Erik P. de Vink"
    link: "https://researchr.org/alias/erik-p.-de-vink"
  - name: "Wieger Wesselink"
    link: "https://researchr.org/alias/wieger-wesselink"
  - name: "Anton Wijs"
    link: "https://researchr.org/alias/anton-wijs"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2019"
  doi: "https://doi.org/10.1007/978-3-030-17465-1_2"
  links:
    doi: "https://doi.org/10.1007/978-3-030-17465-1_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tacas/BunteGKLNVWWW19"
  researchr: "https://researchr.org/publication/BunteGKLNVWWW19"
  cites: 0
  citedby: 0
  pages: "21-39"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "BunteGKLNVWWW19"
- title: "Transforming equality logic to propositional logic"
  author:
  - name: "Hans Zantema"
    link: "http://www.win.tue.nl/~hzantema/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2003"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/135/23/show/Products/notes/index.htt#015"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/135/23/show/Products/notes/index.htt#015"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/ZantemaG03"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "86"
  number: "1"
  pages: "162-173"
  kind: "article"
  key: "ZantemaG03"
- title: "The Propositional Formula Checker HeerHugo"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Joost P. Warners"
    link: "https://researchr.org/alias/joost-p.-warners"
  year: "2000"
  researchr: "https://researchr.org/publication/GrooteW00"
  cites: 0
  citedby: 0
  journal: "JAR"
  volume: "24"
  number: "1/2"
  pages: "101-125"
  kind: "article"
  key: "GrooteW00"
- title: "Evaluating the effect of a lightweight formal technique in industry"
  author:
  - name: "Ammar Osaiweran"
    link: "https://researchr.org/alias/ammar-osaiweran"
  - name: "Mathijs Schuts"
    link: "https://researchr.org/alias/mathijs-schuts"
  - name: "Jozef Hooman"
    link: "https://researchr.org/alias/jozef-hooman"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Bart J. van Rijnsoever"
    link: "https://researchr.org/alias/bart-j.-van-rijnsoever"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/s10009-015-0374-1"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-015-0374-1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sttt/OsaiweranSHGR16"
  researchr: "https://researchr.org/publication/OsaiweranSHGR16"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "18"
  number: "1"
  pages: "93-108"
  kind: "article"
  key: "OsaiweranSHGR16"
- title: "A New Strategy for Proving omega-Completeness applied to Process Algebra"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1990"
  tags:
  - "completeness"
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/Groote90%3A0"
  cites: 0
  citedby: 0
  pages: "314-331"
  booktitle: "concur"
  kind: "inproceedings"
  key: "Groote90:0"
- title: "Lock-Free Parallel Garbage Collection"
  author:
  - name: "Hui Gao"
    link: "https://researchr.org/alias/hui-gao"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Wim H. Hesselink"
    link: "https://researchr.org/alias/wim-h.-hesselink"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11576235_31"
  links:
    doi: "http://dx.doi.org/10.1007/11576235_31"
  researchr: "https://researchr.org/publication/GaoGH05%3A0"
  cites: 0
  citedby: 0
  pages: "263-274"
  booktitle: "ispa"
  kind: "inproceedings"
  key: "GaoGH05:0"
- title: "New developments around the mCRL tool set"
  author:
  - name: "Stefan Blom"
    link: "https://researchr.org/alias/stefan-blom"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Izak van Langevelde"
    link: "https://researchr.org/alias/izak-van-langevelde"
  - name: "Bert Lisser"
    link: "https://researchr.org/alias/bert-lisser"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/137/23/show/Products/notes/index.htt#023"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/137/23/show/Products/notes/index.htt#023"
  researchr: "https://researchr.org/publication/BlomGLP03"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "80"
  pages: "284-288"
  kind: "article"
  key: "BlomGLP03"
- title: "Process Algebra with Guards: Combining Hoare Logic with Process Algebra"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "1994"
  tags:
  - "process algebra"
  - " algebra"
  - "logic"
  researchr: "https://researchr.org/publication/GrooteP94"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "6"
  number: "2"
  pages: "115-164"
  kind: "article"
  key: "GrooteP94"
- title: "Resolution and binary decision diagrams cannot simulate each other polynomially"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Hans Zantema"
    link: "http://www.win.tue.nl/~hzantema/"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0166-218X(02)00403-1"
  links:
    doi: "http://dx.doi.org/10.1016/S0166-218X(02)00403-1"
  researchr: "https://researchr.org/publication/GrooteZ03"
  cites: 0
  citedby: 0
  journal: "DAM"
  volume: "130"
  number: "2"
  pages: "157-171"
  kind: "article"
  key: "GrooteZ03"
- title: "Statistical Certification of Software Systems"
  author:
  - name: "Alessandro Di Bucchianico"
    link: "https://researchr.org/alias/alessandro-di-bucchianico"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Kees M. van Hee"
    link: "https://researchr.org/alias/kees-m.-van-hee"
  - name: "Ronald Kruidhof"
    link: "https://researchr.org/alias/ronald-kruidhof"
  year: "2008"
  doi: "http://dx.doi.org/10.1080/03610910701790517"
  links:
    doi: "http://dx.doi.org/10.1080/03610910701790517"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cssc/BucchianicoGHK08"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/BucchianicoGHK08"
  cites: 0
  citedby: 0
  journal: "cssc"
  volume: "37"
  number: "2"
  pages: "346-359"
  kind: "article"
  key: "BucchianicoGHK08"
- title: "Computer assisted manipulation of algebraic process specifications"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Bert Lisser"
    link: "https://researchr.org/alias/bert-lisser"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636531"
  links:
    doi: "http://doi.acm.org/10.1145/636517.636531"
  tags:
  - "process algebra"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/GrooteL02%3A0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "37"
  number: "12"
  pages: "98-107"
  kind: "article"
  key: "GrooteL02:0"
- title: "Sarir: A Rebeca to mCRL2 Translator"
  author:
  - name: "Hossein Hojjat"
    link: "https://researchr.org/alias/hossein-hojjat"
  - name: "Marjan Sirjani"
    link: "https://researchr.org/alias/marjan-sirjani"
  - name: "Mohammad Reza Mousavi"
    link: "https://researchr.org/alias/mohammad-reza-mousavi"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.62"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.62"
  researchr: "https://researchr.org/publication/HojjatSMG07"
  cites: 0
  citedby: 0
  pages: "216-222"
  booktitle: "acsd"
  kind: "inproceedings"
  key: "HojjatSMG07"
- title: "A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1992"
  researchr: "https://researchr.org/publication/Groote92%3A0"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "42"
  number: "3"
  pages: "167-171"
  kind: "article"
  key: "Groote92:0"
- title: "On the random structure of behavioural transition systems"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Remco van der Hofstad"
    link: "https://researchr.org/alias/remco-van-der-hofstad"
  - name: "Matthias Raffelsieper"
    link: "https://researchr.org/alias/matthias-raffelsieper"
  year: "2016"
  doi: "http://dx.doi.org/10.1016/j.scico.2016.02.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2016.02.006"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/GrooteHR16"
  researchr: "https://researchr.org/publication/GrooteHR16"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "128"
  pages: "51-67"
  kind: "article"
  key: "GrooteHR16"
- title: "Experience Report on Designing and Developing Control Components Using Formal Methods"
  author:
  - name: "Ammar Osaiweran"
    link: "https://researchr.org/alias/ammar-osaiweran"
  - name: "Tom Fransen"
    link: "https://researchr.org/alias/tom-fransen"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Bart J. van Rijnsoever"
    link: "https://researchr.org/alias/bart-j.-van-rijnsoever"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-32759-9_29"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-32759-9_29"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fm/OsaiweranFGR12"
  researchr: "https://researchr.org/publication/OsaiweranFGR12"
  cites: 0
  citedby: 0
  pages: "341-355"
  booktitle: "FM"
  kind: "inproceedings"
  key: "OsaiweranFGR12"
- title: "Exploring students  understanding of the concept of algorithm: levels of abstraction"
  author:
  - name: "Jacob Perrenet"
    link: "https://researchr.org/alias/jacob-perrenet"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Eric Kaasenbrood"
    link: "https://researchr.org/alias/eric-kaasenbrood"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1067445.1067467"
  links:
    doi: "http://doi.acm.org/10.1145/1067445.1067467"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/PerrenetGK05"
  cites: 0
  citedby: 0
  pages: "64-68"
  booktitle: "iticse"
  kind: "inproceedings"
  key: "PerrenetGK05"
- title: "LARIS 1.0 - LAnguage for Railway Interlooking Specifications"
  author:
  - name: "Wan Fokkink"
    link: "https://researchr.org/alias/wan-fokkink"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Marco Hollenberg"
    link: "https://researchr.org/alias/marco-hollenberg"
  - name: "Bas van Vlijmen"
    link: "https://researchr.org/alias/bas-van-vlijmen"
  year: "1991"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0000660"
  researchr: "https://researchr.org/publication/0000660"
  cites: 0
  citedby: 0
  publisher: "CWI"
  isbn: "978-90-6196-489-6"
  kind: "book"
  key: "0000660"
- title: "Structured Operational Semantics and Bisimulation as a Congruence"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1992"
  month: "October"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/GrooteV92"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "100"
  number: "2"
  pages: "202-260"
  kind: "article"
  key: "GrooteV92"
- title: "On the Random Structure of Behavioural Transition Systems"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Remco van der Hofstad"
    link: "https://researchr.org/alias/remco-van-der-hofstad"
  - name: "Matthias Raffelsieper"
    link: "https://researchr.org/alias/matthias-raffelsieper"
  year: "2014"
  doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/980"
  links:
    doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/980"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/eceasst/GrooteHR14"
  researchr: "https://researchr.org/publication/GrooteHR14"
  cites: 0
  citedby: 0
  journal: "eceasst"
  volume: "70"
  kind: "article"
  key: "GrooteHR14"
- title: "Transformation of BPMN Models for Behaviour Analysis"
  author:
  - name: "Ivo Raedts"
    link: "https://researchr.org/alias/ivo-raedts"
  - name: "Marija Petkovic"
    link: "https://researchr.org/alias/marija-petkovic"
  - name: "Yaroslav S. Usenko"
    link: "https://researchr.org/alias/yaroslav-s.-usenko"
  - name: "Jan Martijn E. M. van der Werf"
    link: "https://researchr.org/alias/jan-martijn-e.-m.-van-der-werf"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Lou J. Somers"
    link: "https://researchr.org/alias/lou-j.-somers"
  year: "2007"
  tags:
  - "model-to-model transformation"
  - "BPMN"
  - "meta-model"
  - "points-to analysis"
  - "analysis"
  - "source-to-source"
  - "model transformation"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/RaedtsPUWGS07"
  cites: 0
  citedby: 0
  pages: "126-137"
  booktitle: "vveis"
  kind: "inproceedings"
  key: "RaedtsPUWGS07"
- title: "From µCRL to mCRL2: Motivation and Outline"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Aad Mathijssen"
    link: "https://researchr.org/alias/aad-mathijssen"
  - name: "Muck van Weerdenburg"
    link: "https://researchr.org/alias/muck-van-weerdenburg"
  - name: "Yaroslav S. Usenko"
    link: "http://www.usenko.com/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.101"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.101"
  researchr: "https://researchr.org/publication/GrooteMWU06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "162"
  pages: "191-196"
  kind: "article"
  key: "GrooteMWU06"
- title: "µCRL: A Toolset for Analysing Algebraic Specifications"
  author:
  - name: "Stefan Blom"
    link: "https://researchr.org/alias/stefan-blom"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Izak van Langevelde"
    link: "https://researchr.org/alias/izak-van-langevelde"
  - name: "Bert Lisser"
    link: "https://researchr.org/alias/bert-lisser"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2102/21020250.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2102/21020250.htm"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BlomFGLLP01"
  cites: 0
  citedby: 0
  pages: "250-254"
  booktitle: "cav"
  kind: "inproceedings"
  key: "BlomFGLLP01"
- title: "Book Announcement: Modeling and Analysis of Communicating Systems"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Mohammad Reza Mousavi"
    link: "https://researchr.org/alias/mohammad-reza-mousavi"
  year: "2014"
  doi: "http://eatcs.org/beatcs/index.php/beatcs/article/view/313"
  links:
    doi: "http://eatcs.org/beatcs/index.php/beatcs/article/view/313"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/eatcs/GrooteM14"
  researchr: "https://researchr.org/publication/GrooteM14"
  cites: 0
  citedby: 0
  journal: "eatcs"
  volume: "114"
  kind: "article"
  key: "GrooteM14"
- title: "Analysis of three hybrid systems in timed µCRL"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jos van Wamel"
    link: "https://researchr.org/alias/jos-van-wamel"
  year: "2001"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/GrooteW01"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "39"
  number: "2-3"
  pages: "215-247"
  kind: "article"
  key: "GrooteW01"
- title: "A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL"
  author:
  - name: "Marc Bezem"
    link: "https://researchr.org/alias/marc-bezem"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1994"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/BezemG94%3A0"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "37"
  number: "4"
  pages: "289-307"
  kind: "article"
  key: "BezemG94:0"
- title: "Model-checking processes with data"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.scico.2004.08.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2004.08.002"
  tags:
  - "model checking"
  - "meta-model"
  - "data-flow"
  - "C++"
  - "Meta-Environment"
  - "process modeling"
  researchr: "https://researchr.org/publication/GrooteW05"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "56"
  number: "3"
  pages: "251-273"
  kind: "article"
  key: "GrooteW05"
- title: "An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Frits W. Vaandrager"
    link: "https://researchr.org/alias/frits-w.-vaandrager"
  year: "1990"
  researchr: "https://researchr.org/publication/GrooteV90"
  cites: 0
  citedby: 0
  pages: "626-638"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "GrooteV90"
- title: "Formal Verification of a Leader Election Protocol in Process Algebra"
  author:
  - name: "Lars-Åke Fredlund"
    link: "https://researchr.org/alias/lars-%C3%A5ke-fredlund"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Henri Korver"
    link: "https://researchr.org/alias/henri-korver"
  year: "1997"
  doi: "http://dx.doi.org/10.1016/S0304-3975(96)00256-3"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(96)00256-3"
  tags:
  - "protocol"
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/FredlundGK97"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "177"
  number: "2"
  pages: "459-486"
  kind: "article"
  key: "FredlundGK97"
- title: "Task Allocation in a Multi-Server System"
  author:
  - name: "Sem C. Borst"
    link: "https://researchr.org/alias/sem-c.-borst"
  - name: "Onno J. Boxma"
    link: "https://researchr.org/alias/onno-j.-boxma"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2003"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BorstBGM03"
  cites: 0
  citedby: 0
  journal: "scheduling"
  volume: "6"
  number: "5"
  pages: "423-436"
  kind: "article"
  key: "BorstBGM03"
- title: "Parameterised boolean equation systems"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.016"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.016"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/GrooteW05%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "343"
  number: "3"
  pages: "332-369"
  kind: "article"
  key: "GrooteW05:0"
- title: "A Hierarchy of SOS Rule Formats"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Mohammad Reza Mousavi"
    link: "https://researchr.org/alias/mohammad-reza-mousavi"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.11.077"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.11.077"
  tags:
  - "rule-based"
  - "SOS"
  - "rules"
  researchr: "https://researchr.org/publication/GrooteMR06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "156"
  number: "1"
  pages: "3-25"
  kind: "article"
  key: "GrooteMR06"
- title: "Software engineering: Redundancy is key"
  author:
  - name: "Mark van den Brand"
    link: "https://researchr.org/alias/mark-van-den-brand"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2015"
  doi: "http://dx.doi.org/10.1016/j.scico.2013.11.020"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2013.11.020"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/BrandG15"
  researchr: "https://researchr.org/publication/BrandG15"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "97"
  pages: "75-81"
  kind: "article"
  key: "BrandG15"
- title: "Confluence for Process Verification"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "M. P. A. Sellink"
    link: "https://researchr.org/alias/m.-p.-a.-sellink"
  year: "1995"
  researchr: "https://researchr.org/publication/GrooteS95"
  cites: 0
  citedby: 0
  pages: "204-218"
  booktitle: "concur"
  kind: "inproceedings"
  key: "GrooteS95"
- title: "Assessing the Quality of Tabular State Machines through Metrics"
  author:
  - name: "Ammar Osaiweran"
    link: "https://researchr.org/alias/ammar-osaiweran"
  - name: "Jelena Marincic"
    link: "https://researchr.org/alias/jelena-marincic"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2017"
  doi: "https://doi.org/10.1109/QRS.2017.52"
  links:
    doi: "https://doi.org/10.1109/QRS.2017.52"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/qrs/OsaiweranMG17"
  researchr: "https://researchr.org/publication/OsaiweranMG17"
  cites: 0
  citedby: 0
  pages: "426-433"
  booktitle: "qrs"
  kind: "inproceedings"
  key: "OsaiweranMG17"
- title: "Hiding Propositional Constants in BDDs"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1996"
  researchr: "https://researchr.org/publication/Groote96%3A0"
  cites: 0
  citedby: 0
  journal: "fmsd"
  volume: "8"
  number: "1"
  pages: "91-96"
  kind: "article"
  key: "Groote96:0"
- title: "Parameterised Anonymity"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Simona Orzan"
    link: "http://www.mobanet.nl/simona/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-01465-9_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-01465-9_12"
  researchr: "https://researchr.org/publication/GrooteO08"
  cites: 0
  citedby: 0
  pages: "177-191"
  booktitle: "ifip1-7"
  kind: "inproceedings"
  key: "GrooteO08"
- title: "A computer checked algebraic verification of a distributed summation algorithm"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "François Monin"
    link: "https://researchr.org/alias/fran%C3%A7ois-monin"
  - name: "Jan Springintveld"
    link: "https://researchr.org/alias/jan-springintveld"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s00165-004-0052-7"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-004-0052-7"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/GrooteMS05"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "17"
  number: "1"
  pages: "19-37"
  kind: "article"
  key: "GrooteMS05"
- title: "SOS formats and meta-theory: 20 years after"
  author:
  - name: "Mohammad Reza Mousavi"
    link: "https://researchr.org/alias/mohammad-reza-mousavi"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.019"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.019"
  tags:
  - "meta-model"
  - "SOS"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/MousaviRG07"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "373"
  number: "3"
  pages: "238-272"
  kind: "article"
  key: "MousaviRG07"
- title: "Wait-free concurrent memory management by Create and Read until Deletion (CaRuD)"
  author:
  - name: "Wim H. Hesselink"
    link: "https://researchr.org/alias/wim-h.-hesselink"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2001"
  doi: "http://link.springer.de/link/service/journals/00446/bibs/1014001/10140031.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00446/bibs/1014001/10140031.htm"
  tags:
  - "memory management"
  researchr: "https://researchr.org/publication/HesselinkG01"
  cites: 0
  citedby: 0
  journal: "dc"
  volume: "14"
  number: "1"
  pages: "31-39"
  kind: "article"
  key: "HesselinkG01"
- title: "System Validation (4): Modelling Software, Protocols, and other behaviour"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "2019"
  researchr: "https://researchr.org/publication/Groote2019-2"
  cites: 0
  citedby: 0
  kind: "misc"
  key: "Groote2019-2"
- title: "Verification of Parallel Systems via Decomposition"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Faron Moller"
    link: "https://researchr.org/alias/faron-moller"
  year: "1992"
  researchr: "https://researchr.org/publication/GrooteM92"
  cites: 0
  citedby: 0
  pages: "62-76"
  booktitle: "concur"
  kind: "inproceedings"
  key: "GrooteM92"
- title: "Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA  93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings"
  year: "1993"
  researchr: "https://researchr.org/publication/tlca%3A1993"
  cites: 0
  citedby: 0
  booktitle: "Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA  93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings"
  conference: "tlca"
  editor:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  volume: "664"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56517-5"
  kind: "proceedings"
  key: "tlca:1993"
- title: "CONCUR  91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings"
  year: "1991"
  researchr: "https://researchr.org/publication/concur%3A1991"
  cites: 0
  citedby: 0
  booktitle: "CONCUR  91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings"
  conference: "concur"
  editor:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  volume: "527"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54430-5"
  kind: "proceedings"
  key: "concur:1991"
- title: "Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993"
  year: "1994"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/sosl%3A1993"
  cites: 0
  citedby: 0
  booktitle: "Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993"
  conference: "sosl"
  editor:
  - name: "D. J. Andrews"
    link: "https://researchr.org/alias/d.-j.-andrews"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19854-7"
  kind: "proceedings"
  key: "sosl:1993"