In Journals

In Proceedings

  • Are Two Binary Operations Necessary to Finitely Axiomatise Parallel Composition? (with Luca Aceto, Valentina Castiglioni, Wan Fokkink and Anna Ingolfsdottir).
    In: Christel Baier and Jean Goubault-Larrecq, editors, Proceedings CSL 2021, LIPIcs 183, pp. 8:1-8:17, 2021.
  • A Process Algebra with Global Variables (with Mark Bouwman, Wouter Schols and Tim Willemse).
    In: Ornela Dardha and Jurriaan Rot, editors, Proceedings of EXPRESS/SOS 2020, EPTCS 322, pp. 33-50, 2020.
  • On the Axiomatisability of Parallel Composition: A Journey in the Spectrum (with Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir and Mathias Ruggaard Pedersen).
    In: Igor Konnov and Laura Kovacs, editors, Proceedings CONCUR 2020, LIPIcs 171, pp. 18:1-18:22, 2020.
  • What is the Point: Formal Analysis and Test Generation for a Railway Standard (with Mark Bouwman, Djurre van der Wal, Marielle Stoelinga and Arend Rensink).
    In: Piero Baraldi, Francesco Di Maio and Enrico Zio, editors, Proceedings of ESREL 2020 PSAM 15, to appear, Research Publishing, Singapore, 2020.
  • Up-to techniques for branching bisimilarity (with Rick Erkens and Jurriaan Rot).
    In: Alexander Chatzigeorgiou, Ricardo Dondi, Herodotus Herodotou, Christos Kapsoutsis, Yannis Manolopoulos, George A. Papdopoulos, Florian Sikora, editors, Proceedings of SOFSEM 2020, LNCS 12011, pp. 285--297, 2020.
  • Modelling and Analysing Software in mCRL2 (Jan Friso Groote, Jeroen Keiren, Bas Luttik, Erik de Vink and Tim Willemse).
    In: Farhad Arbab and Sung-Shik Jongmans, editors, Proceedings of FACS 2019, LNCS 12018, pp. 25--48, 2019.
  • Formal modelling and verification of an interlocking using mCRL2 (with Mark Bouwman and Bob Janssen).
    In: Kim Larsen and Tim Willemse, editors, Proceedings FMICS 2019, LNCS 11687, pp. 22--39.
  • Sequencing and intermediate acceptance: axiomatisation and decidability of bisimilarity (with Astrid Belder and Jos Baeten).
    In: Markus Roggenbach and Ana Sokolova, editors, Proceedings CALCO 2019, LIPIcs 139, pp.\ 11:1--11:22, 2019.
  • Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset (with Maarten Bartholomeus and Tim Willemse).
    In: Jiří Barnat and Falk Howar, editors, Proceedings FMICS 2018, LNCS 11119, pp. 98-114.
    Copyright © Springer-Verlag 2018.
  • Divide and Congruence III: Stability & Divergence (with Wan Fokkink and Rob van Glabbeek).
    In: Roland Meyer and Uwe Nestmann, editors, Proceedings CONCUR 2017, LIPIcs 85, pp. 15:1-15:16.
  • Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (with Tobias Kappé, Paul Brunet, Alexandra Silva and Fabio Zanasi).
    In: Roland Meyer and Uwe Nestmann, editors, Proceedings CONCUR 2017, LIPIcs 85, pp. 25:1-25:16.
  • Sequential Composition in the Presence of Intermediate Termination (Extended Abstract) (with Jos Baeten and Fei Yang).
    In: Kirstin Peters and Simone Tini, editors, Proceedings EXPRESS/SOS 2017, EPTCS 255, pp. 1-17.
  • Unique Parallel Decomposition for the π-calculus (with Matias David Lee).
    In: Daniel Gebler and Kirstin Peters, editors, Proceedings EXPRESS/SOS 2016, EPTCS 222, pp. 45-59.
  • On the Executability of Interactive Computation (with Fei Yang).
    In: Arnold Beckmann, Laurent Bienvenu, and Natasa Jonoska, editors, Proceedings of the 12th Conference on Computability in Europe (CiE 2016), 2016, LNCS 9709, pp. 312-322.
    Full version available at arXiv:1601.01546.
  • Executable Behaviour and the π-calculus (with Fei Yang).
    In: Sophia Knight, Ivan Lanese, Alberto Lluch Lafuente, and Hugo Torres Vieira, editors, Proceedings 8th Interaction and Concurrency Experience (ICE 2015), EPTCS 189, pp. 37-52.
    Full version available at arXiv:1410.4512.
  • Evidence for Fixpoint Logic (with Sjoerd Cranen and Tim Willemse).
    In: S. Kreutzer, editors, Proceedings of CSL 2015, LIPIcs 41, pp. 78-93.
    [pdf], [BibTeX].
  • Proof Graphs for Parameterised Boolean Equation Systems (with Sjoerd Cranen and Tim Willemse).
    In: Pedro R. D'Argenio and Hernán C. Melgratti, editors, Proceedings of CONCUR 2013, LNCS 8052, pp. 470-484. Copyright © Springer-Verlag 2013.
  • Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics.
    In: Jos C. M. Baeten and Thomas Ball and Frank S. de Boer, editors, Proceedings of IFIP TCS 2012, LNCS 7604, pp. 250-264. Copyright © Springer-Verlag 2012.
    Full version available at arXiv:1205.2117.
  • Turing Meets Milner (with Jos Baeten and Paul van Tilburg).
    In: Maciej Koutny and Irek Ulidowski, editors, Proceedings of CONCUR 2012, LNCS 7454, pp. 1-20. Copyright © Springer-Verlag 2012.
    [pdf, BibTeX].
  • Automated verification of Executable UML models (with Helle Hvid Hansen, Jeroen Ketema, Mohammad Mousavi, Jaco van de Pol, and Osmar Marchi dos Santos).
    In: Bernhard K. Aichernig, Frank S. de Boer and Marcello M. Bonsangue, editors, Proceedings of 9th Symposium on Formal Methods for Components and Objects (FMCO 2010), LNCS 6957, pp. 225-250. Copyright © Springer-Verlag 2012.
  • Reactive Turing Machines (with Jos Baeten and Paul van Tilburg).
    In: Olaf Owe, Martin Steffen, and Jan Arne Telle, editors, Proceedings of 18th International Symposium on the Fundamentals of Computation Theory (FCT 2011), LNCS 6914, pp. 348-359, 2011. Copyright © Springer-Verlag 2011.
    A full version of this extended abstract is available as CoRR abs/1104.1738
    [pdf, BibTeX].
  • A Process-Theoretic Approach to Supervisory Control Theory (with Jos Baeten, Bert van Beek, Jasen Markovski, and Koos Rooda).
    In: Proceedings of ACC 2011, to appear 2011
    [pdf, ].
  • Computations and Interaction (with Jos Baeten and Paul van Tilburg).
    In: Raja Natarajan and Adegboyega K. Ojo, editors, 7th International Conference on Distributed Computing and Internet Technology (ICDCIT 2011), LNCS 6536, pp. 35-54, 2011, Copyright © Springer-Verlag 2011.
    [pdf, BibTeX].
  • Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (with Jos Baeten, Tim Muller and Paul van Tilburg).
    In: Sibylle Froeschle and Frank Valencia, editors, Proceedings 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), EPTCS 41, pp. 1-15, 2010.
    [pdf, BibTeX].
  • A Process-Theoretic Look at Automata (with Jos Baeten, Pieter Cuijpers and Paul van Tilburg).
    In: Farhad Arbab and Marjan Sirjani, editors, 3rd International Conference on Fundamentals of Software Engineering (FSEN'09), LNCS 5961, pp. 1-33, 2010, Copyright © 2010, Springer-Verlag.
    [pdf, BibTeX].
  • Finite Equational Bases for Fragments of CCS with Restriction and Relabelling (with Luca Aceto, Anna Ingolfdottir and Paul van Tilburg).
    In: Giorgio Ausiello, Juhani Karhum\"aki, Giancarlo Mauri and Luce Ong, editors, Proceedings of Fifth IFIP International Conference on Theoretical Computer Science (TCS 2008), volume 273 of IFIP International Federation for Information Processing, pp. 317-332, Copyright © 2006, Springer Boston.
    [pdf, BibTeX].
  • Some Remarks on Definability of Process Graphs (with Clemens Grabmayer and Jan Willem Klop).
    In: Christel Baier and Holger Hermanns, editors, Proceedings of CONCUR 2006, LNCS 4137, pp. 16-36, August 2006, Copyright © 2006 Springer-Verlag.
    [pdf, BibTeX].
  • A finite equational base for CCS with left merge and communication merge (with Luca Aceto, Wan Fokkink and Anna Ingolfsdottir).
    In: Michele Bugliesi, Bart Preneel, Vladimiro Sassone and Ingo Wegener, editors, Proceedings of ICALP 2006, LNCS 4052, pp. 492-503, July 2006, Copyright © 2006 Springer-Verlag.
    [pdf, BibTeX].
  • Finite equational bases in process algebra: results and open questions (with Luca Aceto, Wan Fokkink and Anna Ingólfsdóttir).
    In: Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk and Roel de Vrijer, editors, Processes, Terms and Cycles: Steps on the Road to Infinity (essays dedicated to Jan Willem Klop on the Occasion of His 60th Birthday), LNCS 3838, pp. 338-367, 2005, Copyright © 2005 Springer-Verlag.
    [pdf, BibTeX].
  • Stuttering congruence for χ (with Nikola Trcka).
    In: P. Godefroid, editor, Proceedings of SPIN 2005, LNCS 3639, pp. 185-199, August 2005, Copyright © 2005 Springer-Verlag.
    [pdf, BibTeX].
  • A unique decomposition theorem for ordered monoids with applications in process theory (extended abstract).
    In: Branislav Rovan and Peter Vojtas, editors, Proceedings of MFCS 2003, LNCS 2747, pp. 562-571, August 2003, Copyright © 2003 Springer-Verlag.
    [pdf, BibTeX].
  • An omega-complete equational specification of interleaving (extended abstract) (with Wan Fokkink).
    In: Ugo Montanari, José D.P. Rolim and Emo Welzl, editors, Proceedings of ICALP 2000, LNCS 1853, pp. 729-743, July 2000, Copyright © 2000 Springer-Verlag.
    [pdf, BibTeX].
  • Specification of rewriting strategies (with Eelco Visser).
    In: Alex Sellink, editor, Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specification (ASF+SDF'97). Electronic Workshops in Computing, Springer-Verlag, Berlin, November, 1997.
    [ps.gz, BibTeX].
  • Description and formal specification of the Link Layer of P1394.
    In: Ignac Lovrek, editor, Proceedings of the 2nd International Workshop on Applied Formal Methods in System Design, pp. 43-56, University of Zagreb, Croatia, June 1997. Also available as Report SEN-R9706, CWI, The Netherlands.

Editorial work


  • Choice quantification in process algebra
    Ph.D. Thesis, University of Amsterdam, April 2002.
    [pdf, BibTeX].


Technical Reports