@inproceedings{GrooteW03,
  title = {A Checker for Modal Formulae for Processes with Data},
  author = {Jan Friso Groote and Tim A. C. Willemse},
  year = {2003},
  url = {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 = {Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
  volume = {3188},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22942-6},
}

@article{BrandtHG11,
  title = {Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra},
  author = {Christoph Brandt and Frank Hermann 0001 and Jan Friso Groote},
  year = {2011},
  url = {http://ws.acs.org.au/jrpit/JRPITVolumes/JRPIT43/JRPIT43.1.65.pdf},
  researchr = {https://researchr.org/publication/BrandtHG11},
  cites = {0},
  citedby = {0},
  journal = {Australian Computer Journal},
  volume = {43},
  number = {1},
  pages = {65-86},
}

@inproceedings{NeeleWG18,
  title = {Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting},
  author = {Thomas Neele and Tim A. C. Willemse and Jan Friso Groote},
  year = {2018},
  doi = {10.1007/978-3-030-02146-7_11},
  url = {https://doi.org/10.1007/978-3-030-02146-7_11},
  researchr = {https://researchr.org/publication/NeeleWG18},
  cites = {0},
  citedby = {0},
  pages = {216-236},
  booktitle = {Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
  editor = {Kyungmin Bae and Peter Csaba Ölveczky},
  volume = {11222},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-02146-7},
}

@inproceedings{DuhaibyMWG18,
  title = {Pitfalls in Applying Model Learning to Industrial Legacy Software},
  author = {Omar al Duhaiby and Arjan J. Mooij and Hans van Wezep and Jan Friso Groote},
  year = {2018},
  doi = {10.1007/978-3-030-03427-6_13},
  url = {https://doi.org/10.1007/978-3-030-03427-6_13},
  researchr = {https://researchr.org/publication/DuhaibyMWG18},
  cites = {0},
  citedby = {0},
  pages = {121-138},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV},
  editor = {Tiziana Margaria and Bernhard Steffen},
  volume = {11247},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-03427-6},
}

@article{GrooteT03,
  title = {Binary decision diagrams for first-order predicate logic},
  author = {Jan Friso Groote and Olga Tveretina},
  year = {2003},
  doi = {10.1016/S1567-8326(03)00039-0},
  url = {http://dx.doi.org/10.1016/S1567-8326(03)00039-0},
  tags = {logic},
  researchr = {https://researchr.org/publication/GrooteT03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {57},
  number = {1-2},
  pages = {1-22},
}

@article{ReniersGZW02,
  title = {Completeness of Timed mCRL},
  author = {Michel A. Reniers and Jan Friso Groote and Mark van der Zwaag and Jos van Wamel},
  year = {2002},
  tags = {completeness},
  researchr = {https://researchr.org/publication/ReniersGZW02},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {50},
  number = {3-4},
  pages = {361-402},
}

@inproceedings{HuismanBBDGLPV16,
  title = {Software that Meets Its Intent},
  author = {Marieke Huisman and Herbert Bos and Sjaak Brinkkemper and Arie van Deursen and Jan Friso Groote and Patricia Lago and Jaco van de Pol and Eelco Visser},
  year = {2016},
  doi = {10.1007/978-3-319-47169-3_47},
  url = {http://dx.doi.org/10.1007/978-3-319-47169-3_47},
  researchr = {https://researchr.org/publication/HuismanBBDGLPV16},
  cites = {0},
  citedby = {0},
  pages = {609-625},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II},
  editor = {Tiziana Margaria and Bernhard Steffen},
  volume = {9953},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-319-47168-6},
}

@article{GrooteKO15,
  title = {Specification guidelines to avoid the state space explosion problem},
  author = {Jan Friso Groote and Tim W. D. M. Kouters and Ammar Osaiweran},
  year = {2015},
  doi = {10.1002/stvr.1536},
  url = {http://dx.doi.org/10.1002/stvr.1536},
  researchr = {https://researchr.org/publication/GrooteKO15},
  cites = {0},
  citedby = {0},
  journal = {Softw. Test., Verif. Reliab.},
  volume = {25},
  number = {1},
  pages = {4-33},
}

@inproceedings{Groote90a,
  title = {Transition System Specifications with Negative Premises (Extended Abstract)},
  author = {Jan Friso Groote},
  year = {1990},
  researchr = {https://researchr.org/publication/Groote90a},
  cites = {0},
  citedby = {0},
  pages = {332-341},
  booktitle = {CONCUR  90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
  editor = {Jos C. M. Baeten and Jan Willem Klop},
  volume = {458},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53048-7},
}

@article{GaoGH07,
  title = {Lock-free parallel and concurrent garbage collection by mark&sweep},
  author = {Hui Gao and Jan Friso Groote and Wim H. Hesselink},
  year = {2007},
  doi = {10.1016/j.scico.2006.10.001},
  url = {http://dx.doi.org/10.1016/j.scico.2006.10.001},
  researchr = {https://researchr.org/publication/GaoGH07},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {64},
  number = {3},
  pages = {341-374},
}

@article{Groote93:0,
  title = {Transition System Specifications with Negative Premises},
  author = {Jan Friso Groote},
  year = {1993},
  researchr = {https://researchr.org/publication/Groote93%3A0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {118},
  number = {2},
  pages = {263-299},
}

@article{GrooteJKW17,
  title = {An ${O}(m \log n)$ Algorithm for Computing Stuttering Equivalence and Branching Bisimulation},
  author = {Jan Friso Groote and David N. Jansen and Jeroen J. A. Keiren and Anton Wijs},
  year = {2017},
  doi = {10.1145/3060140},
  url = {http://doi.acm.org/10.1145/3060140},
  researchr = {https://researchr.org/publication/GrooteJKW17},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {18},
  number = {2},
}

@article{GrooteP08,
  title = {Switching Graphs},
  author = {Jan Friso Groote and Bas Ploeger},
  year = {2008},
  doi = {10.1016/j.entcs.2008.12.035},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {223},
  pages = {119-135},
}

@inproceedings{GrooteOW12-0,
  title = {Analyzing a Controller of a Power Distribution Unit Using Formal Methods},
  author = {Jan Friso Groote and Ammar Osaiweran and Jacco H. Wesselius},
  year = {2012},
  doi = {10.1109/ICST.2012.122},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2012.122},
  researchr = {https://researchr.org/publication/GrooteOW12-0},
  cites = {0},
  citedby = {0},
  pages = {420-428},
  booktitle = {2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012},
  editor = {Giuliano Antoniol and Antonia Bertolino and Yvan Labiche},
  publisher = {IEEE},
  isbn = {978-1-4577-1906-6},
}

@inproceedings{GrooteM98,
  title = {Verification of Temporal Properties of Processes in a Setting with Data},
  author = {Jan Friso Groote and Radu Mateescu},
  year = {1998},
  url = {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 = {Algebraic Methodology and Software Technology, 7th International Conference, AMAST  98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
  editor = {Armando Martin Haeberer},
  volume = {1548},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65462-3},
}

@inproceedings{GrooteKO11,
  title = {Specification Guidelines to Avoid the State Space Explosion Problem},
  author = {Jan Friso Groote and Tim W. D. M. Kouters and Ammar Osaiweran},
  year = {2011},
  doi = {10.1007/978-3-642-29320-7_8},
  url = {http://dx.doi.org/10.1007/978-3-642-29320-7_8},
  researchr = {https://researchr.org/publication/GrooteKO11},
  cites = {0},
  citedby = {0},
  pages = {112-127},
  booktitle = {Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  editor = {Farhad Arbab and Marjan Sirjani},
  volume = {7141},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-29319-1},
}

@inproceedings{GrooteRU08,
  title = {Verification of networks of timed automata using mCRL2},
  author = {Jan Friso Groote and Michel A. Reniers and Yaroslav S. Usenko},
  year = {2008},
  doi = {10.1109/IPDPS.2008.4536575},
  url = {http://dx.doi.org/10.1109/IPDPS.2008.4536575},
  researchr = {https://researchr.org/publication/GrooteRU08},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008},
  publisher = {IEEE},
}

@article{GrooteS96,
  title = {Confluence for Process Verification},
  author = {Jan Friso Groote and M. P. A. Sellink},
  year = {1996},
  doi = {10.1016/S0304-3975(96)80702-X},
  url = {http://dx.doi.org/10.1016/S0304-3975(96)80702-X},
  researchr = {https://researchr.org/publication/GrooteS96},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {170},
  number = {1-2},
  pages = {47-81},
}

@article{GrooteP09,
  title = {Switching Graphs},
  author = {Jan Friso Groote and Bas Ploeger},
  year = {2009},
  doi = {10.1142/S0129054109006930},
  url = {http://dx.doi.org/10.1142/S0129054109006930},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/GrooteP09},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Found. Comput. Sci.},
  volume = {20},
  number = {5},
  pages = {869-886},
}

@article{GrooteW01:0,
  title = {The parallel composition of uniform processes with data},
  author = {Jan Friso Groote and Jos van Wamel},
  year = {2001},
  doi = {10.1016/S0304-3975(00)00324-8},
  url = {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 = {Theoretical Computer Science},
  volume = {266},
  number = {1-2},
  pages = {631-652},
}

@inproceedings{GrooteH03,
  title = {Large State Space Visualization},
  author = {Jan Friso Groote and Frank van Ham},
  year = {2003},
  url = {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 = {Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
  editor = {Hubert Garavel and John Hatcliff},
  volume = {2619},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00898-5},
}

@article{BlomGMS05,
  title = {Analysing the BKE-security Protocol with ::::µ::::CRL},
  author = {Stefan Blom and Jan Friso Groote and Sjouke Mauw and Alexander Serebrenik},
  year = {2005},
  doi = {10.1016/j.entcs.2005.09.005},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {139},
  number = {1},
  pages = {49-90},
}

@article{VlijmenGK99,
  title = {The Vital Processor Interlocking},
  author = {Sebastiaan van Vlijmen and Jan Friso Groote and Wilco Koorn},
  year = {1999},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {21},
  pages = {1-56},
}

@article{GrooteV07,
  title = {Operational semantics for Petri net components},
  author = {Jan Friso Groote and Marc Voorhoeve},
  year = {2007},
  doi = {10.1016/j.tcs.2007.01.003},
  url = {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 = {Theoretical Computer Science},
  volume = {379},
  number = {1-2},
  pages = {1-19},
}

@inproceedings{SaberiGK13,
  title = {Analysis of Path Planning Algorithms: a Formal Verification-based Approach},
  author = {Arash Khabbaz Saberi and Jan Friso Groote and Sarmen Keshishzadeh},
  year = {2013},
  doi = {10.7551/978-0-262-31709-2-ch035},
  url = {http://dx.doi.org/10.7551/978-0-262-31709-2-ch035},
  researchr = {https://researchr.org/publication/SaberiGK13},
  cites = {0},
  citedby = {0},
  pages = {232-239},
  booktitle = {Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, ECAL 2013, Sicily, Italy, September 2-6, 2013},
  editor = {Pietro Liò and Orazio Miglino and Giuseppe Nicosia and Stefano Nolfi and Mario Pavone},
  publisher = {MIT Press},
  isbn = {9780262317092},
}

@inproceedings{BolG90,
  title = {The meaning of Negative Premises in Transition System Specifications},
  author = {Roland N. Bol and Jan Friso Groote},
  year = {1990},
  researchr = {https://researchr.org/publication/BolG90},
  cites = {0},
  citedby = {0},
  pages = {2-9},
  booktitle = {LPNMR},
}

@article{EngelsGWW09,
  title = {Search algorithms for automated validation},
  author = {Tom A. N. Engels and Jan Friso Groote and Muck van Weerdenburg and Tim A. C. Willemse},
  year = {2009},
  doi = {10.1016/j.jlap.2008.11.003},
  url = {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 = {Journal of Logic and Algebraic Programming},
  volume = {78},
  number = {4},
  pages = {274-287},
}

@article{MousaviRG05,
  title = {Notions of bisimulation and congruence formats for SOS with data},
  author = {Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote},
  year = {2005},
  doi = {10.1016/j.ic.2005.03.002},
  url = {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 = {Inf. Comput.},
  volume = {200},
  number = {1},
  pages = {107-147},
}

@inproceedings{GrooteP96,
  title = {A Bounded Retransmission Protocol for Large Data Packets},
  author = {Jan Friso Groote and Jaco van de Pol},
  year = {1996},
  tags = {protocol, data-flow},
  researchr = {https://researchr.org/publication/GrooteP96},
  cites = {0},
  citedby = {0},
  pages = {536-550},
  booktitle = {Algebraic Methodology and Software Technology, 5th International Conference, AMAST  96, Munich, Germany, July 1-5, 1996, Proceedings},
  editor = {Martin Wirsing and Maurice Nivat},
  volume = {1101},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61463-X},
}

@misc{Groote2019,
  title = {System Validation: Automata and behavioural equivalences},
  author = {Jan Friso Groote},
  year = {2019},
  note = {Coursera course. \url{https://www.coursera.org/learn/automata-system-validation}},
  researchr = {https://researchr.org/publication/Groote2019},
  cites = {0},
  citedby = {0},
}

@inproceedings{GaoGH04,
  title = {Almost Wait-Free Resizable Hashtable},
  author = {Hui Gao and Jan Friso Groote and Wim H. Hesselink},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/01/213210050aabs.htm},
  researchr = {https://researchr.org/publication/GaoGH04},
  cites = {0},
  citedby = {0},
  booktitle = {18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2132-0},
}

@inproceedings{StappersRG09,
  title = {Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study},
  author = {Frank P. M. Stappers and Michel A. Reniers and Jan Friso Groote},
  year = {2009},
  doi = {10.1007/978-3-642-17071-3_9},
  url = {http://dx.doi.org/10.1007/978-3-642-17071-3_9},
  tags = {case study, design},
  researchr = {https://researchr.org/publication/StappersRG09},
  cites = {0},
  citedby = {0},
  pages = {166-185},
  booktitle = {Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Stefan Hallerstede and Michael Leuschel},
  volume = {6286},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-17070-6},
}

@inproceedings{GrooteOW12,
  title = {Experience report on developing the Front-end client unit under the control of formal methods},
  author = {Jan Friso Groote and Ammar Osaiweran and Jacco H. Wesselius},
  year = {2012},
  doi = {10.1145/2245276.2231962},
  url = {http://doi.acm.org/10.1145/2245276.2231962},
  researchr = {https://researchr.org/publication/GrooteOW12},
  cites = {0},
  citedby = {0},
  pages = {1183-1190},
  booktitle = {Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012},
  editor = {Sascha Ossowski and Paola Lecca},
  publisher = {ACM},
  isbn = {978-1-4503-0857-1},
}

@inproceedings{GrooteW16,
  title = {An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation},
  author = {Jan Friso Groote and Anton Wijs},
  year = {2016},
  doi = {10.1007/978-3-662-49674-9_40},
  url = {http://dx.doi.org/10.1007/978-3-662-49674-9_40},
  researchr = {https://researchr.org/publication/GrooteW16},
  cites = {0},
  citedby = {0},
  pages = {607-624},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  editor = {Marsha Chechik and Jean-François Raskin},
  volume = {9636},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-49673-2},
}

@book{GrooteM2014,
  title = {Modeling and Analysis of Communicating Systems},
  author = {Jan Friso Groote and Mohammad Reza Mousavi},
  year = {2014},
  url = {https://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems},
  researchr = {https://researchr.org/publication/GrooteM2014},
  cites = {0},
  citedby = {0},
  publisher = {MIT Press},
  isbn = {9780262321020},
}

@article{GrooteL02-0,
  title = {Computer assisted manipulation of algebraic process specifications},
  author = {Jan Friso Groote and Bert Lisser},
  year = {2002},
  doi = {10.1145/636517.636531},
  url = {http://doi.acm.org/10.1145/636517.636531},
  researchr = {https://researchr.org/publication/GrooteL02-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {37},
  number = {12},
  pages = {98-107},
}

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

@inproceedings{GrooteP00:0,
  title = {Equational Binary Decision Diagrams},
  author = {Jan Friso Groote and Jaco van de Pol},
  year = {2000},
  url = {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 = {Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  editor = {Michel Parigot and Andrei Voronkov},
  volume = {1955},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
}

@inproceedings{MousaviRG04,
  title = {Congruence for SOS with Data},
  author = {Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote},
  year = {2004},
  url = {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 = {19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2192-4},
}

@article{GrooteH06,
  title = {Interactive visualization of large state spaces},
  author = {Jan Friso Groote and Frank van Ham},
  year = {2006},
  doi = {10.1007/s10009-005-0198-5},
  url = {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},
}

@inproceedings{BolG91,
  title = {The Meaning of Negative Premises in Transition System Specifications},
  author = {Roland N. Bol and Jan Friso Groote},
  year = {1991},
  researchr = {https://researchr.org/publication/BolG91},
  cites = {0},
  citedby = {0},
  pages = {481-494},
  booktitle = {Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
  editor = {Javier Leach Albert and Burkhard Monien and Mario Rodríguez-Artalejo},
  volume = {510},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54233-7},
}

@inproceedings{BezemG94,
  title = {Invariants in Process Algebra with Data},
  author = {Marc Bezem and Jan Friso Groote},
  year = {1994},
  tags = {process algebra, data-flow,  algebra},
  researchr = {https://researchr.org/publication/BezemG94},
  cites = {0},
  citedby = {0},
  pages = {401-416},
  booktitle = {CONCUR  94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings},
  editor = {Bengt Jonsson and Joachim Parrow},
  volume = {836},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58329-7},
}

@article{GrootePW03,
  title = {Analysis of a distributed system for lifting trucks},
  author = {Jan Friso Groote and Jun Pang and Arno G. Wouters},
  year = {2003},
  doi = {10.1016/S1567-8326(02)00038-3},
  url = {http://dx.doi.org/10.1016/S1567-8326(02)00038-3},
  tags = {analysis},
  researchr = {https://researchr.org/publication/GrootePW03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {55},
  number = {1-2},
  pages = {21-56},
}

@article{AcetoG99,
  title = {A Complete Equational Axiomatization for MPA with String Iteration},
  author = {Luca Aceto and Jan Friso Groote},
  year = {1999},
  doi = {10.1016/S0304-3975(97)00182-5},
  url = {http://dx.doi.org/10.1016/S0304-3975(97)00182-5},
  tags = {completeness},
  researchr = {https://researchr.org/publication/AcetoG99},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {211},
  number = {1-2},
  pages = {339-374},
}

@inproceedings{BeusekomGHHWWW17,
  title = {Formalising the {Dezyne} Modelling Language in {mCRL2}},
  author = {Rutger van Beusekom and Jan Friso Groote and Paul F. Hoogendijk and Robert Howe and Wieger Wesselink and Rob Wieringa and Tim A. C. Willemse},
  year = {2017},
  doi = {10.1007/978-3-319-67113-0_14},
  url = {https://doi.org/10.1007/978-3-319-67113-0_14},
  researchr = {https://researchr.org/publication/BeusekomGHHWWW17},
  cites = {0},
  citedby = {0},
  pages = {217-233},
  booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings},
  editor = {Laure Petrucci and Cristina Seceleanu and Ana Cavalcanti},
  volume = {10471},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-67113-0},
}

@inproceedings{GrooteMP98,
  title = {Checking Verifications of Protocols and Distributed Systems by Computer},
  author = {Jan Friso Groote and François Monin and Jaco van de Pol},
  year = {1998},
  url = {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  98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings},
  editor = {Davide Sangiorgi and Robert de Simone},
  volume = {1466},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64896-8},
}

@inproceedings{GrooteP00,
  title = {State Space Reduction Using Partial tau-Confluence},
  author = {Jan Friso Groote and Jaco van de Pol},
  year = {2000},
  url = {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 = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings},
  editor = {Mogens Nielsen and Branislav Rovan},
  volume = {1893},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67901-4},
}

@misc{Groote2019-1,
  title = {System Validation (3): Requirements by modal formulas},
  author = {Jan Friso Groote},
  year = {2019},
  note = {Coursera course. \url{https://www.coursera.org/learn/system-validation-modal-formulas}},
  researchr = {https://researchr.org/publication/Groote2019-1},
  cites = {0},
  citedby = {0},
}

@article{BolG96,
  title = {The Meaning of Negative Premises in Transition System Specifications},
  author = {Roland N. Bol and Jan Friso Groote},
  year = {1996},
  doi = {10.1145/234752.234756},
  url = {http://doi.acm.org/10.1145/234752.234756},
  researchr = {https://researchr.org/publication/BolG96},
  cites = {0},
  citedby = {0},
  journal = {Journal of the ACM},
  volume = {43},
  number = {5},
  pages = {863-914},
}

@inproceedings{Groote90,
  title = {Specification and verification of real time systems in ACP},
  author = {Jan Friso Groote},
  year = {1990},
  researchr = {https://researchr.org/publication/Groote90},
  cites = {0},
  citedby = {0},
  pages = {261-274},
  booktitle = {Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  editor = {Luigi Logrippo and Robert L. Probert and Hasan Ural},
  publisher = {North-Holland},
  isbn = {0-444-88810-1},
}

@inproceedings{GrooteP91,
  title = {Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract)},
  author = {Jan Friso Groote and Alban Ponse},
  year = {1991},
  tags = {process algebra,  algebra, logic},
  researchr = {https://researchr.org/publication/GrooteP91},
  cites = {0},
  citedby = {0},
  pages = {235-249},
  booktitle = {CONCUR  91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
  editor = {Jos C. M. Baeten and Jan Friso Groote},
  volume = {527},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54430-5},
}

@article{GrooteHMV01,
  title = {An algorithm for the asynchronous Write-All problem based on process collision},
  author = {Jan Friso Groote and Wim H. Hesselink and Sjouke Mauw and Rogier Vermeulen},
  year = {2001},
  url = {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 = {Distributed Computing},
  volume = {14},
  number = {2},
  pages = {75-81},
}

@inproceedings{TalebiGL17,
  title = {The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications},
  author = {Mahmoud Talebi and Jan Friso Groote and Jean-Paul M. G. Linnartz},
  year = {2017},
  doi = {10.1007/978-3-319-61428-1_14},
  url = {https://doi.org/10.1007/978-3-319-61428-1_14},
  researchr = {https://researchr.org/publication/TalebiGL17},
  cites = {0},
  citedby = {0},
  pages = {196-211},
  booktitle = {Analytical and Stochastic Modelling Techniques and Applications - 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings},
  editor = {Nigel Thomas and Matthew Forshaw},
  volume = {10378},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-61428-1},
}

@inproceedings{GrooteV17,
  title = {Problem Solving Using Process Algebra Considered Insightful},
  author = {Jan Friso Groote and Erik P. de Vink},
  year = {2017},
  doi = {10.1007/978-3-319-68270-9_3},
  url = {https://doi.org/10.1007/978-3-319-68270-9_3},
  researchr = {https://researchr.org/publication/GrooteV17},
  cites = {0},
  citedby = {0},
  pages = {48-63},
  booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday},
  editor = {Joost-Pieter Katoen and Rom Langerak and Arend Rensink},
  volume = {10500},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-68270-9},
}

@article{CranenGR11,
  title = {A linear translation from CTL* to the first-order modal μ -calculus},
  author = {Sjoerd Cranen and Jan Friso Groote and Michel A. Reniers},
  year = {2011},
  doi = {10.1016/j.tcs.2011.02.034},
  url = {http://dx.doi.org/10.1016/j.tcs.2011.02.034},
  tags = {translation},
  researchr = {https://researchr.org/publication/CranenGR11},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {412},
  number = {28},
  pages = {3129-3139},
}

@inproceedings{FokkinkGPBP04,
  title = {Verifying a Sliding Window Protocol in µCRL},
  author = {Wan Fokkink and Jan Friso Groote and Jun Pang and Bahareh Badban and Jaco van de Pol},
  year = {2004},
  url = {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 = {Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings},
  editor = {Charles Rattray and Savi Maharaj and Carron Shankland},
  volume = {3116},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22381-9},
}

@misc{Groote2019-0,
  title = {System Validation (2): Model process behaviour},
  author = {Jan Friso Groote},
  year = {2019},
  note = {Coursera course. \url{https://www.coursera.org/learn/system-validation-behavior}},
  researchr = {https://researchr.org/publication/Groote2019-0},
  cites = {0},
  citedby = {0},
}

@article{GrooteKSWW11,
  title = {Experiences in developing the mCRL2 toolset},
  author = {Jan Friso Groote and Jeroen J. A. Keiren and Frank P. M. Stappers and Wieger Wesselink and Tim A. C. Willemse},
  year = {2011},
  doi = {10.1002/spe.1021},
  url = {http://dx.doi.org/10.1002/spe.1021},
  tags = {C++},
  researchr = {https://researchr.org/publication/GrooteKSWW11},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {41},
  number = {2},
  pages = {143-153},
}

@article{GrooteVV18,
  title = {An Efficient Algorithm to Determine Probabilistic Bisimulation},
  author = {Jan Friso Groote and Jao Rivera Verduzco and Erik P. de Vink},
  year = {2018},
  doi = {10.3390/a11090131},
  url = {https://doi.org/10.3390/a11090131},
  researchr = {https://researchr.org/publication/GrooteVV18},
  cites = {0},
  citedby = {0},
  journal = {Algorithms},
  volume = {11},
  number = {9},
  pages = {131},
}

@article{BrandG12,
  title = {Advances in Model Driven Software Engineering},
  author = {Mark G. J. van den Brand and Jan Friso Groote},
  year = {2012},
  url = {http://ercim-news.ercim.eu/en91/ri/advances-in-model-driven-software-engineering},
  researchr = {https://researchr.org/publication/BrandG12},
  cites = {0},
  citedby = {0},
  journal = {ERCIM News},
  volume = {2012},
  number = {91},
}

@inproceedings{GrooteK04,
  title = {Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points},
  author = {Jan Friso Groote and Misa Keinänen},
  year = {2004},
  url = {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 = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee},
  editor = {Kurt Jensen and Andreas Podelski},
  volume = {2988},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21299-X},
}

@inproceedings{GrooteP93,
  title = {Proof Theory for muCRL: A Language for Processes with Data},
  author = {Jan Friso Groote and Alban Ponse},
  year = {1993},
  tags = {data-flow language, data-flow},
  researchr = {https://researchr.org/publication/GrooteP93},
  cites = {0},
  citedby = {0},
  pages = {232-251},
  booktitle = {Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993},
  editor = {D. J. Andrews and Jan Friso Groote and C. A. Middelburg},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19854-7},
}

@article{MousaviRG05:0,
  title = {A syntactic commutativity format for SOS},
  author = {Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote},
  year = {2005},
  doi = {10.1016/j.ipl.2004.11.007},
  url = {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 = {Inf. Process. Lett.},
  volume = {93},
  number = {5},
  pages = {217-223},
}

@article{Groote96,
  title = {Concurrency Theory Will Set Standards for Description and Analysis of Software},
  author = {Jan Friso Groote},
  year = {1996},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Groote96},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {28},
  number = {4es},
  pages = {44},
}

@article{GrooteWZ16,
  title = {A Probabilistic Analysis of the Game of the Goose},
  author = {Jan Friso Groote and Freek Wiedijk and Hans Zantema},
  year = {2016},
  doi = {10.1137/140983781},
  url = {http://dx.doi.org/10.1137/140983781},
  researchr = {https://researchr.org/publication/GrooteWZ16},
  cites = {0},
  citedby = {0},
  journal = {SIAM Review},
  volume = {58},
  number = {1},
  pages = {143-155},
}

@inproceedings{TalebiGL15,
  title = {Continuous approximation of stochastic models for wireless sensor networks},
  author = {Mahmoud Talebi and Jan Friso Groote and Jean-Paul M. G. Linnartz},
  year = {2015},
  doi = {10.1109/SCVT.2015.7374240},
  url = {http://dx.doi.org/10.1109/SCVT.2015.7374240},
  researchr = {https://researchr.org/publication/TalebiGL15},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {2015 IEEE Symposium on Communications and Vehicular Technology in the Benelux, SCVT 2015, Luxembourg-Kirchberg, Luxembourg, November 24, 2015},
  publisher = {IEEE},
  isbn = {978-1-4673-9907-4},
}

@article{BadbanFGPP05,
  title = {Verification of a sliding window protocol in µCRL and PVS},
  author = {Bahareh Badban and Wan Fokkink and Jan Friso Groote and Jun Pang and Jaco van de Pol},
  year = {2005},
  doi = {10.1007/s00165-005-0070-0},
  url = {http://dx.doi.org/10.1007/s00165-005-0070-0},
  tags = {protocol},
  researchr = {https://researchr.org/publication/BadbanFGPP05},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {17},
  number = {3},
  pages = {342-388},
}

@article{GrootePU01,
  title = {Linearization in parallel pCRL},
  author = {Jan Friso Groote and Alban Ponse and Yaroslav S. Usenko},
  year = {2001},
  researchr = {https://researchr.org/publication/GrootePU01},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {48},
  number = {1-2},
  pages = {39-70},
}

@inproceedings{GrooteOW11,
  title = {Analyzing the effects of formal methods on the development of industrial control software},
  author = {Jan Friso Groote and Ammar Osaiweran and Jacco H. Wesselius},
  year = {2011},
  doi = {10.1109/ICSM.2011.6081983},
  url = {http://dx.doi.org/10.1109/ICSM.2011.6081983},
  researchr = {https://researchr.org/publication/GrooteOW11},
  cites = {0},
  citedby = {0},
  pages = {467-472},
  booktitle = {IEEE 27th International Conference on Software Maintenance, ICSM 2011, Williamsburg, VA, USA, September 25-30, 2011},
  publisher = {IEEE},
  isbn = {978-1-4577-0663-9},
}

@inproceedings{CranenGKSVWW13,
  title = {An Overview of the mCRL2 Toolset and Its Recent Advances},
  author = {Sjoerd Cranen and Jan Friso Groote and Jeroen J. A. Keiren and Frank P. M. Stappers and Erik P. de Vink and Wieger Wesselink and Tim A. C. Willemse},
  year = {2013},
  doi = {10.1007/978-3-642-36742-7_15},
  url = {http://dx.doi.org/10.1007/978-3-642-36742-7_15},
  researchr = {https://researchr.org/publication/CranenGKSVWW13},
  cites = {0},
  citedby = {0},
  pages = {199-213},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings},
  editor = {Nir Piterman and Scott A. Smolka},
  volume = {7795},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-36741-0},
}

@article{BrandG14,
  title = {Redundancy in the Software Design Process is Essential for Designing Correct Software},
  author = {Mark G. J. van den Brand and Jan Friso Groote},
  year = {2014},
  url = {http://ercim-news.ercim.eu/en99/special/redundancy-in-the-software-design-process-is-essential-for-designing-correct-software},
  researchr = {https://researchr.org/publication/BrandG14},
  cites = {0},
  citedby = {0},
  journal = {ERCIM News},
  volume = {2014},
  number = {99},
}

@article{GrooteRU06,
  title = {Discretization of Timed Automata in Timed mu},
  author = {Jan Friso Groote and Michel A. Reniers and Yaroslav S. Usenko},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.084},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.084},
  researchr = {https://researchr.org/publication/GrooteRU06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {162},
  pages = {197-202},
}

@inproceedings{GrooteV89,
  title = {Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract)},
  author = {Jan Friso Groote and 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 = {Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
  editor = {Giorgio Ausiello and Mariangiola Dezani-Ciancaglini and Simona Ronchi Della Rocca},
  volume = {372},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-51371-X},
}

@inproceedings{StappersRWG12,
  title = {Dogfooding the Formal Semantics of mCRL2},
  author = {Frank P. M. Stappers and Michel A. Reniers and Sven Weber and Jan Friso Groote},
  year = {2012},
  doi = {10.1109/SEW.2012.16},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEW.2012.16},
  researchr = {https://researchr.org/publication/StappersRWG12},
  cites = {0},
  citedby = {0},
  pages = {90-99},
  booktitle = {35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012},
  editor = {Jonathan P. Bowen and Huibiao Zhu and Mike Hinchey},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-5574-2},
}

@article{BezemBG97,
  title = {Formalizing Process Algebraic Verifications in the Calculus of Constructions},
  author = {Marc Bezem and Roland N. Bol and Jan Friso Groote},
  year = {1997},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/BezemBG97},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {9},
  number = {1},
  pages = {1-48},
}

@inproceedings{GrooteMRUW06,
  title = {The Formal Specification Language mCRL2},
  author = {Jan Friso Groote and Aad Mathijssen and Michel A. Reniers and Yaroslav S. Usenko and Muck van Weerdenburg},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/862},
  researchr = {https://researchr.org/publication/GrooteMRUW06},
  cites = {0},
  citedby = {0},
  booktitle = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
  editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  volume = {06351},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@inproceedings{GrooteK05,
  title = {A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems},
  author = {Jan Friso Groote and Misa Keinänen},
  year = {2005},
  doi = {10.1007/11560647_35},
  url = {http://dx.doi.org/10.1007/11560647_35},
  researchr = {https://researchr.org/publication/GrooteK05},
  cites = {0},
  citedby = {0},
  pages = {532-545},
  booktitle = {Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
  editor = {Dang Van Hung and Martin Wirsing},
  volume = {3722},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29107-5},
}

@inproceedings{GrooteW04,
  title = {Parameterised Boolean Equation Systems (Extended Abstract)},
  author = {Jan Friso Groote and Tim A. C. Willemse},
  year = {2004},
  url = {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 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings},
  editor = {Philippa Gardner and Nobuko Yoshida},
  volume = {3170},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22940-X},
}

@article{GrooteR97,
  title = {Foreword},
  author = {Jan Friso Groote and Martin Rem},
  year = {1997},
  researchr = {https://researchr.org/publication/GrooteR97},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {29},
  number = {1-2},
  pages = {1-2},
}

@article{GrooteS01,
  title = {Focus points and convergent process operators: a proof strategy for protocol verification},
  author = {Jan Friso Groote and Jan Springintveld},
  year = {2001},
  tags = {protocol},
  researchr = {https://researchr.org/publication/GrooteS01},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {49},
  number = {1-2},
  pages = {31-60},
}

@inproceedings{GrooteRU06:0,
  title = {Time abstraction in timed /spl mu/CRL a la regions},
  author = {Jan Friso Groote and Michel A. Reniers and Yaroslav S. Usenko},
  year = {2006},
  doi = {10.1109/IPDPS.2006.1639423},
  url = {http://dx.doi.org/10.1109/IPDPS.2006.1639423},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/GrooteRU06%3A0},
  cites = {0},
  citedby = {0},
  booktitle = {20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
  publisher = {IEEE},
}

@article{GrooteH94,
  title = {Undecidable Equivalences for Basic Process Algebra},
  author = {Jan Friso Groote and Hans Hüttel},
  year = {1994},
  month = {December},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/GrooteH94},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {115},
  number = {2},
  pages = {354-371},
}

@article{GaoGH05,
  title = {Lock-free dynamic hash tables with open addressing},
  author = {Hui Gao and Jan Friso Groote and Wim H. Hesselink},
  year = {2005},
  doi = {10.1007/s00446-004-0115-2},
  url = {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 = {Distributed Computing},
  volume = {18},
  number = {1},
  pages = {21-42},
}

@article{FokkinkGR04,
  title = {Process Algebra Needs Proof Methodology (Columns: Concurrency)},
  author = {Wan Fokkink and Jan Friso Groote and Michel A. Reniers},
  year = {2004},
  url = {http://www.cs.auc.dk//~luca/BEATCS/colConc82.pdf},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/FokkinkGR04},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {82},
  pages = {109-125},
}

@inproceedings{GrooteZ01,
  title = {Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially},
  author = {Jan Friso Groote and Hans Zantema},
  year = {2001},
  url = {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 = {Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers},
  editor = {Dines Bjørner and Manfred Broy and Alexandre V. Zamulin},
  volume = {2244},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43075-X},
}

@inproceedings{BunteGKLNVWWW19,
  title = {The {mCRL2} Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability},
  author = {Olav Bunte and Jan Friso Groote and Jeroen J. A. Keiren and Maurice Laveaux and Thomas Neele and Erik P. de Vink and Wieger Wesselink and Anton Wijs and Tim A. C. Willemse},
  year = {2019},
  doi = {10.1007/978-3-030-17465-1_2},
  url = {https://doi.org/10.1007/978-3-030-17465-1_2},
  researchr = {https://researchr.org/publication/BunteGKLNVWWW19},
  cites = {0},
  citedby = {0},
  pages = {21-39},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II},
  editor = {Tomás Vojnar and Lijun Zhang},
  volume = {11428},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-17465-1},
}

@article{ZantemaG03,
  title = {Transforming equality logic to propositional logic},
  author = {Hans Zantema and Jan Friso Groote},
  year = {2003},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {86},
  number = {1},
  pages = {162-173},
}

@article{GrooteW00,
  title = {The Propositional Formula Checker HeerHugo},
  author = {Jan Friso Groote and Joost P. Warners},
  year = {2000},
  researchr = {https://researchr.org/publication/GrooteW00},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {24},
  number = {1/2},
  pages = {101-125},
}

@article{OsaiweranSHGR16,
  title = {Evaluating the effect of a lightweight formal technique in industry},
  author = {Ammar Osaiweran and Mathijs Schuts and Jozef Hooman and Jan Friso Groote and Bart J. van Rijnsoever},
  year = {2016},
  doi = {10.1007/s10009-015-0374-1},
  url = {http://dx.doi.org/10.1007/s10009-015-0374-1},
  researchr = {https://researchr.org/publication/OsaiweranSHGR16},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {18},
  number = {1},
  pages = {93-108},
}

@inproceedings{Groote90:0,
  title = {A New Strategy for Proving omega-Completeness applied to Process Algebra},
  author = {Jan Friso Groote},
  year = {1990},
  tags = {completeness, process algebra,  algebra},
  researchr = {https://researchr.org/publication/Groote90%3A0},
  cites = {0},
  citedby = {0},
  pages = {314-331},
  booktitle = {CONCUR  90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
  editor = {Jos C. M. Baeten and Jan Willem Klop},
  volume = {458},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53048-7},
}

@inproceedings{GaoGH05:0,
  title = {Lock-Free Parallel Garbage Collection},
  author = {Hui Gao and Jan Friso Groote and Wim H. Hesselink},
  year = {2005},
  doi = {10.1007/11576235_31},
  url = {http://dx.doi.org/10.1007/11576235_31},
  researchr = {https://researchr.org/publication/GaoGH05%3A0},
  cites = {0},
  citedby = {0},
  pages = {263-274},
  booktitle = {Parallel and Distributed Processing and Applications, Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings},
  editor = {Yi Pan and Daoxu Chen and Minyi Guo and Jiannong Cao and Jack Dongarra},
  volume = {3758},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29769-3},
}

@article{BlomGLP03,
  title = {New developments around the mCRL tool set},
  author = {Stefan Blom and Jan Friso Groote and Izak van Langevelde and Bert Lisser and Jaco van de Pol},
  year = {2003},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {80},
  pages = {284-288},
}

@article{GrooteP94,
  title = {Process Algebra with Guards: Combining Hoare Logic with Process Algebra},
  author = {Jan Friso Groote and Alban Ponse},
  year = {1994},
  tags = {process algebra,  algebra, logic},
  researchr = {https://researchr.org/publication/GrooteP94},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {6},
  number = {2},
  pages = {115-164},
}

@article{GrooteZ03,
  title = {Resolution and binary decision diagrams cannot simulate each other polynomially},
  author = {Jan Friso Groote and Hans Zantema},
  year = {2003},
  doi = {10.1016/S0166-218X(02)00403-1},
  url = {http://dx.doi.org/10.1016/S0166-218X(02)00403-1},
  researchr = {https://researchr.org/publication/GrooteZ03},
  cites = {0},
  citedby = {0},
  journal = {Discrete Applied Mathematics},
  volume = {130},
  number = {2},
  pages = {157-171},
}

@article{BucchianicoGHK08,
  title = {Statistical Certification of Software Systems},
  author = {Alessandro Di Bucchianico and Jan Friso Groote and Kees M. van Hee and Ronald Kruidhof},
  year = {2008},
  doi = {10.1080/03610910701790517},
  url = {http://dx.doi.org/10.1080/03610910701790517},
  tags = {certification},
  researchr = {https://researchr.org/publication/BucchianicoGHK08},
  cites = {0},
  citedby = {0},
  journal = {Communications in Statistics - Simulation and Computation},
  volume = {37},
  number = {2},
  pages = {346-359},
}

@article{GrooteL02:0,
  title = {Computer assisted manipulation of algebraic process specifications},
  author = {Jan Friso Groote and Bert Lisser},
  year = {2002},
  doi = {10.1145/636517.636531},
  url = {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 Notices},
  volume = {37},
  number = {12},
  pages = {98-107},
}

@inproceedings{HojjatSMG07,
  title = {Sarir: A Rebeca to mCRL2 Translator},
  author = {Hossein Hojjat and Marjan Sirjani and Mohammad Reza Mousavi and Jan Friso Groote},
  year = {2007},
  doi = {10.1109/ACSD.2007.62},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.62},
  researchr = {https://researchr.org/publication/HojjatSMG07},
  cites = {0},
  citedby = {0},
  pages = {216-222},
  booktitle = {Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic},
  editor = {Twan Basten and Gabriel Juhás and Sandeep K. Shukla},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-2902-8},
}

@article{Groote92:0,
  title = {A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes},
  author = {Jan Friso Groote},
  year = {1992},
  researchr = {https://researchr.org/publication/Groote92%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {42},
  number = {3},
  pages = {167-171},
}

@article{GrooteHR16,
  title = {On the random structure of behavioural transition systems},
  author = {Jan Friso Groote and Remco van der Hofstad and Matthias Raffelsieper},
  year = {2016},
  doi = {10.1016/j.scico.2016.02.006},
  url = {http://dx.doi.org/10.1016/j.scico.2016.02.006},
  researchr = {https://researchr.org/publication/GrooteHR16},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {128},
  pages = {51-67},
}

@inproceedings{OsaiweranFGR12,
  title = {Experience Report on Designing and Developing Control Components Using Formal Methods},
  author = {Ammar Osaiweran and Tom Fransen and Jan Friso Groote and Bart J. van Rijnsoever},
  year = {2012},
  doi = {10.1007/978-3-642-32759-9_29},
  url = {http://dx.doi.org/10.1007/978-3-642-32759-9_29},
  researchr = {https://researchr.org/publication/OsaiweranFGR12},
  cites = {0},
  citedby = {0},
  pages = {341-355},
  booktitle = {FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings},
  editor = {Dimitra Giannakopoulou and Dominique Méry},
  volume = {7436},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-32758-2},
}

@inproceedings{PerrenetGK05,
  title = {Exploring students  understanding of the concept of algorithm: levels of abstraction},
  author = {Jacob Perrenet and Jan Friso Groote and Eric Kaasenbrood},
  year = {2005},
  doi = {10.1145/1067445.1067467},
  url = {http://doi.acm.org/10.1145/1067445.1067467},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/PerrenetGK05},
  cites = {0},
  citedby = {0},
  pages = {64-68},
  booktitle = {Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005},
  editor = {José C. Cunha and William M. Fleischman and Viera K. Proulx and João Lourenço},
  publisher = {ACM},
  isbn = {1-59593-024-8},
}

@book{0000660,
  title = {LARIS 1.0 - LAnguage for Railway Interlooking Specifications},
  author = {Wan Fokkink and Jan Friso Groote and Marco Hollenberg and Bas van Vlijmen},
  year = {1991},
  researchr = {https://researchr.org/publication/0000660},
  cites = {0},
  citedby = {0},
  publisher = {CWI},
  isbn = {978-90-6196-489-6},
}

@article{GrooteV92,
  title = {Structured Operational Semantics and Bisimulation as a Congruence},
  author = {Jan Friso Groote and Frits W. Vaandrager},
  year = {1992},
  month = {October},
  tags = {semantics, operational semantics},
  researchr = {https://researchr.org/publication/GrooteV92},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {100},
  number = {2},
  pages = {202-260},
}

@article{GrooteHR14,
  title = {On the Random Structure of Behavioural Transition Systems},
  author = {Jan Friso Groote and Remco van der Hofstad and Matthias Raffelsieper},
  year = {2014},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/980},
  researchr = {https://researchr.org/publication/GrooteHR14},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {70},
}

@inproceedings{RaedtsPUWGS07,
  title = {Transformation of BPMN Models for Behaviour Analysis},
  author = {Ivo Raedts and Marija Petkovic and Yaroslav S. Usenko and Jan Martijn E. M. van der Werf and Jan Friso Groote and 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 = {Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with },
  editor = {Juan Carlos Augusto and Joseph Barjis and Ulrich Ultes-Nitsche},
  publisher = {INSTICC PRESS},
  isbn = {978-972-8865-95-5},
}

@article{GrooteMWU06,
  title = {From µCRL to mCRL2: Motivation and Outline},
  author = {Jan Friso Groote and Aad Mathijssen and Muck van Weerdenburg and Yaroslav S. Usenko},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.101},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.101},
  researchr = {https://researchr.org/publication/GrooteMWU06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {162},
  pages = {191-196},
}

@inproceedings{BlomFGLLP01,
  title = {µCRL: A Toolset for Analysing Algebraic Specifications},
  author = {Stefan Blom and Wan Fokkink and Jan Friso Groote and Izak van Langevelde and Bert Lisser and Jaco van de Pol},
  year = {2001},
  url = {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 = {Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings},
  editor = {Gérard Berry and Hubert Comon and Alain Finkel},
  volume = {2102},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42345-1},
}

@article{GrooteM14,
  title = {Book Announcement: Modeling and Analysis of Communicating Systems},
  author = {Jan Friso Groote and Mohammad Reza Mousavi},
  year = {2014},
  url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/313},
  researchr = {https://researchr.org/publication/GrooteM14},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {114},
}

@article{GrooteW01,
  title = {Analysis of three hybrid systems in timed µCRL},
  author = {Jan Friso Groote and Jos van Wamel},
  year = {2001},
  tags = {analysis},
  researchr = {https://researchr.org/publication/GrooteW01},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {39},
  number = {2-3},
  pages = {215-247},
}

@article{BezemG94:0,
  title = {A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL},
  author = {Marc Bezem and Jan Friso Groote},
  year = {1994},
  tags = {protocol},
  researchr = {https://researchr.org/publication/BezemG94%3A0},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {37},
  number = {4},
  pages = {289-307},
}

@article{GrooteW05,
  title = {Model-checking processes with data},
  author = {Jan Friso Groote and Tim A. C. Willemse},
  year = {2005},
  doi = {10.1016/j.scico.2004.08.002},
  url = {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 = {Science of Computer Programming},
  volume = {56},
  number = {3},
  pages = {251-273},
}

@inproceedings{GrooteV90,
  title = {An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence},
  author = {Jan Friso Groote and Frits W. Vaandrager},
  year = {1990},
  researchr = {https://researchr.org/publication/GrooteV90},
  cites = {0},
  citedby = {0},
  pages = {626-638},
  booktitle = {Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, July 16-20, 1990, Proceedings},
  editor = {Mike Paterson},
  volume = {443},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52826-1},
}

@article{FredlundGK97,
  title = {Formal Verification of a Leader Election Protocol in Process Algebra},
  author = {Lars-Åke Fredlund and Jan Friso Groote and Henri Korver},
  year = {1997},
  doi = {10.1016/S0304-3975(96)00256-3},
  url = {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 = {Theoretical Computer Science},
  volume = {177},
  number = {2},
  pages = {459-486},
}

@article{BorstBGM03,
  title = {Task Allocation in a Multi-Server System},
  author = {Sem C. Borst and Onno J. Boxma and Jan Friso Groote and Sjouke Mauw},
  year = {2003},
  tags = {C++},
  researchr = {https://researchr.org/publication/BorstBGM03},
  cites = {0},
  citedby = {0},
  journal = {J. Scheduling},
  volume = {6},
  number = {5},
  pages = {423-436},
}

@article{GrooteW05:0,
  title = {Parameterised boolean equation systems},
  author = {Jan Friso Groote and Tim A. C. Willemse},
  year = {2005},
  doi = {10.1016/j.tcs.2005.06.016},
  url = {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 = {Theoretical Computer Science},
  volume = {343},
  number = {3},
  pages = {332-369},
}

@article{GrooteMR06,
  title = {A Hierarchy of SOS Rule Formats},
  author = {Jan Friso Groote and Mohammad Reza Mousavi and Michel A. Reniers},
  year = {2006},
  doi = {10.1016/j.entcs.2005.11.077},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {156},
  number = {1},
  pages = {3-25},
}

@article{BrandG15,
  title = {Software engineering: Redundancy is key},
  author = {Mark van den Brand and Jan Friso Groote},
  year = {2015},
  doi = {10.1016/j.scico.2013.11.020},
  url = {http://dx.doi.org/10.1016/j.scico.2013.11.020},
  researchr = {https://researchr.org/publication/BrandG15},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {97},
  pages = {75-81},
}

@inproceedings{GrooteS95,
  title = {Confluence for Process Verification},
  author = {Jan Friso Groote and M. P. A. Sellink},
  year = {1995},
  researchr = {https://researchr.org/publication/GrooteS95},
  cites = {0},
  citedby = {0},
  pages = {204-218},
  booktitle = {CONCUR  95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings},
  editor = {Insup Lee and Scott A. Smolka},
  volume = {962},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60218-6},
}

@inproceedings{OsaiweranMG17,
  title = {Assessing the Quality of Tabular State Machines through Metrics},
  author = {Ammar Osaiweran and Jelena Marincic and Jan Friso Groote},
  year = {2017},
  doi = {10.1109/QRS.2017.52},
  url = {https://doi.org/10.1109/QRS.2017.52},
  researchr = {https://researchr.org/publication/OsaiweranMG17},
  cites = {0},
  citedby = {0},
  pages = {426-433},
  booktitle = {2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017, Prague, Czech Republic, July 25-29, 2017},
  publisher = {IEEE},
  isbn = {978-1-5386-0592-9},
}

@article{Groote96:0,
  title = {Hiding Propositional Constants in BDDs},
  author = {Jan Friso Groote},
  year = {1996},
  researchr = {https://researchr.org/publication/Groote96%3A0},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {8},
  number = {1},
  pages = {91-96},
}

@inproceedings{GrooteO08,
  title = {Parameterised Anonymity},
  author = {Jan Friso Groote and Simona Orzan},
  year = {2008},
  doi = {10.1007/978-3-642-01465-9_12},
  url = {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 = {Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
  editor = {Pierpaolo Degano and Joshua D. Guttman and Fabio Martinelli},
  volume = {5491},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
}

@article{GrooteMS05,
  title = {A computer checked algebraic verification of a distributed summation algorithm},
  author = {Jan Friso Groote and François Monin and Jan Springintveld},
  year = {2005},
  doi = {10.1007/s00165-004-0052-7},
  url = {http://dx.doi.org/10.1007/s00165-004-0052-7},
  tags = { algebra},
  researchr = {https://researchr.org/publication/GrooteMS05},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {17},
  number = {1},
  pages = {19-37},
}

@article{MousaviRG07,
  title = {SOS formats and meta-theory: 20 years after},
  author = {Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote},
  year = {2007},
  doi = {10.1016/j.tcs.2006.12.019},
  url = {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 = {Theoretical Computer Science},
  volume = {373},
  number = {3},
  pages = {238-272},
}

@article{HesselinkG01,
  title = {Wait-free concurrent memory management by Create and Read until Deletion (CaRuD)},
  author = {Wim H. Hesselink and Jan Friso Groote},
  year = {2001},
  url = {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 = {Distributed Computing},
  volume = {14},
  number = {1},
  pages = {31-39},
}

@misc{Groote2019-2,
  title = {System Validation (4): Modelling Software, Protocols, and other behaviour},
  author = {Jan Friso Groote},
  year = {2019},
  note = {Coursera course. \url{https://www.coursera.org/learn/system-validation-software-protocols}},
  researchr = {https://researchr.org/publication/Groote2019-2},
  cites = {0},
  citedby = {0},
}

@inproceedings{GrooteM92,
  title = {Verification of Parallel Systems via Decomposition},
  author = {Jan Friso Groote and Faron Moller},
  year = {1992},
  researchr = {https://researchr.org/publication/GrooteM92},
  cites = {0},
  citedby = {0},
  pages = {62-76},
  booktitle = {CONCUR  92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August  24-27, 1992, Proceedings},
  editor = {Rance Cleaveland},
  volume = {630},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55822-5},
}
@proceedings{tlca:1993,
  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 = {Marc Bezem and Jan Friso Groote},
  volume = {664},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56517-5},
}

@proceedings{concur:1991,
  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 = {Jos C. M. Baeten and Jan Friso Groote},
  volume = {527},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54430-5},
}

@proceedings{sosl:1993,
  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 = {D. J. Andrews and Jan Friso Groote and C. A. Middelburg},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19854-7},
}