In Journals, Conference and Workshop proceedings

2023

  • Jos Baeten and Bas Luttik:
    Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics.
    In: Georgiana Caltais and Claudio Antares Mezzina, editors, Proceedings EXPRESS/SOS 2023, EPTCS 387, pp. 114-131, 2023.
  • Myrthe Spronck and Bas Luttik:
    Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers.
    In: Guillermo A. Pérez and Jean-François Raskin, editors, Proceedings CONCUR 2023, LIPIcs, pp. 5:1-5:17, 2023.
  • Jos Baeten, Cesare Carissimo and Bas Luttik:
    Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.
    Logical Methods in Computer Science 19(1:15):1-32, 2023.
  • Mark Bouwman, Djurre van der Wal, Bas Luttik, Marielle Stoelinga and Arend Rensink:
    A Case in Point: Verification and Testing of a EULYNX Interface.
    Formal Aspects of Computing 35(1:2):1-38, 2023.

2022

  • Luca Aceto, Valentina Castiglioni, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik:
    Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?.
    Transactions on Computational Logic 23(4:22):1-56, 2022.
  • Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik and Mathias R. Pedersen:
    On the Axiomatisability of Parallel Composition.
    Logical Methods in Computer Science 18(1:15):1-51, 2022.
  • Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir and Bas Luttik:
    On the Axiomatisation of Branching Bisimulation Congruence over CCS.
    In: Bartek Klin, Slawomir Lasota and Anca Muscholl, editors, Proceedings CONCUR 2022, LIPIcs 243, pp. 6:1-6:18, 2022.
  • Mark Bouwman, Maurice Laveaux, Bas Luttik and Tim Willemse:
    Decompositional Branching Bisimulation Minimisation of Monolithic Processes (with).
    In: S.L. Tapia Tarifa and J. Proença, editors, Proceedings FACS 2022, LNCS 13712, pp. 161-182, 2022.
  • Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol and Simon Wimmer:
    Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.
    In: T. Margaria and B. Steffen, editors, Proceedings ISoLA 2022, LNCS 13704, pp. 246-268, 2022.

2021

  • Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva and Fabio Zanasi:
    Equivalence checking for weak bi-Kleene algebra.
    Logical Methods in Computer Science 17(3:19):1-53, 2021.
  • Bas Luttik and Fei Yang:
    The π-calculus is behaviourally complete and orbit-finitely executable .
    Logical Methods in Computer Science 17(1:14):1-26, 2021.
  • Maarten Bartholomeus, Rick Erkens, Bas Luttik and Tim Willemse:
    Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation.
    In: Tiziana Margaria and Bernhard Steffen, editors, Proceedings ISoLA 2021, LNCS 13036, pp. 498-499, 2021.(see Back Matter)
  • Mark Bouwman, Bas Luttik, Arend Rensink, Marielle Stoelinga and Djurre van der Wal:
    Formal Methods in Railway Signalling Infrastructure Standardisation Processes.
    In: Tiziana Margaria and Bernhard Steffen, editors, Proceedings ISoLA 2021, LNCS 13036, pp. 500-501, 2021.(see Back Matter)
  • Jos Baeten, Cesare Carissimo and Bas Luttik:
    Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.
    In: Fabio Gadducci and Alexandra Silva, editors, Proceedings CALCO 2021, LIPIcs 211, pp. 8:1--8:16, 2021.
  • Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingolfsdottir and Bas Luttik:
    In search of lost time: Axiomatising parallel composition in process algebras.
    Proceedings LICS 2021, IEEE, pp. 1-14, 2021.
  • Mark Bouwman, Bas Luttik and Tim Willemse:
    Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths (Extended Abstract).
    In: K. Peters and T.A.C. Willemse, editors, Proceedings FORTE 2021, LNCS 12719, pp. 182-187, 2021.
  • Mark Bouwman, Bas Luttik and Djurre van der Wal:
    A Formalisation of SysML State Machines in mCRL2.
    In: K. Peters and T.A.C. Willemse, editors, Proceedings FORTE 2021, LNCS 12719, pp. 42-59, 2021.
  • Luca Aceto, Valentina Castiglioni, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik:
    Are Two Binary Operations Necessary to Finitely Axiomatise Parallel Composition?.
    In: Christel Baier and Jean Goubault-Larrecq, editors, Proceedings CSL 2021, LIPIcs 183, pp. 8:1-8:17, 2021.

2020

2019

  • Wan Fokkink, Rob van Glabbeek and Bas Luttik:
    Divide and congruence III: from decomposition of modal formulas to peservation of stability and divergence.
    Information and Computation 268(104435):1-31, 2019.
  • Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva and Fabio Zanasi:
    On series-parallel pomset languages: Rationality, context-freeness and automata.
    Journal of Logical and Algebraic Methods in Programming 103:130-153, 2019.
  • Jan Friso Groote, Jeroen Keiren, Bas Luttik, Erik de Vink and Tim Willemse:
    Modelling and Analysing Software in mCRL2.
    In: Farhad Arbab and Sung-Shik Jongmans, editors, Proceedings of FACS 2019, LNCS 12018, pp. 25--48, 2019.
  • Mark Bouwman, Bob Janssen and Bas Luttik:
    Formal modelling and verification of an interlocking using mCRL2 .
    In: Kim Larsen and Tim Willemse, editors, Proceedings FMICS 2019, LNCS 11687, pp. 22--39.
    [BibTeX].
  • Astrid Belder, Bas Luttik and Jos Baeten:
    Sequencing and intermediate acceptance: axiomatisation and decidability of bisimilarity .
    In: Markus Roggenbach and Ana Sokolova, editors, Proceedings CALCO 2019, LIPIcs 139, pp.\ 11:1--11:22, 2019.
    [BibTeX].

2018

  • Maarten Bartholomeus, Bas Luttik and Tim Willemse:
    Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset (with).
    In: Jiří Barnat and Falk Howar, editors, Proceedings FMICS 2018, LNCS 11119, pp. 98-114.
    Copyright © Springer-Verlag 2018.
    [BibTeX].

2017

2016

2015

2013

2012

  • Bas Luttik:
    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.
    [BibTeX].
  • Jos Baeten, Bas Luttik and Paul van Tilburg:
    Turing Meets Milner.
    In: Maciej Koutny and Irek Ulidowski, editors, Proceedings of CONCUR 2012, LNCS 7454, pp. 1-20. Copyright © Springer-Verlag 2012.
    [pdf, BibTeX].
  • Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, MohammadReza Mousavi, Jaco van de Pol and Osmar Marchi dos Santos:
    Automated verification of Executable UML models.
    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.
    [pdf].

2011

  • Jos Baeten and Bas Luttik:
    Unguardedness Mostly Means Many Solutions.
    Theoretical Computer Science 412:3090-3100, Copyright © 2011 Elsevier Inc.
    [pdf, BibTeX].
  • Luca Aceto, Taolue Chen, Anna Ingolfsdottir, Bas Luttik and Jaco van de Pol:
    On the Axiomatizability of Priority II.
    Theoretical Computer Science 412:3035-3044, Copyright © 2011 Elsevier Inc.
    [pdf, BibTeX].
  • Jos Baeten, Bas Luttik and Paul van Tilburg:
    Reactive Turing Machines.
    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].
  • Jos Baeten, Bert van Beek, Bas Luttik, Jasen Markovski and Koos Rooda:
    A Process-Theoretic Approach to Supervisory Control Theory.
    In: Proceedings of ACC 2011, to appear 2011
    [pdf, ].
  • Jos Baeten, Bas Luttik and Paul van Tilburg:
    Computations and Interaction.
    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].

2010

  • Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, MohammadReza Mousavi and Jaco van de Pol:
    Towards model checking executable UML specifications in mCRL2.
    Innovations in Systems and Software Engineering 6(1-2):83-90, Copyright © 2010 Springer-Verlag.
    [pdf, BibTeX].
  • Jos Baeten, Bas Luttik, Tim Muller and Paul van Tilburg:
    Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition.
    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].
  • Jos Baeten, Pieter Cuijpers, Bas Luttik and Paul van Tilburg:
    A Process-Theoretic Look at Automata.
    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].

2009

2008

  • Luca Aceto, Silvio Capobianco, Anna Ingolfsdottir and Bas Luttik:
    The Equational Theory of Prebisimilarity over Basic CCS with Divergence.
    Information Processing Letters 108(5):284-289. Copyright © 2008 Elsevier Inc.
    [pdf, BibTeX].
  • Taolue Chen, Wan Fokkink, Bas Luttik and Sumit Nain:
    On finite alphabets and infinite bases.
    Information and Computation 206(5):492-519, 2008, Copyright © 2008 Elsevier Inc.
    [pdf, BibTeX].
  • Luca Aceto, Anna Ingolfsdottir, Bas Luttik and Paul van Tilburg:
    Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.
    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].

2006

  • 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].
  • Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik:
    A finite equational base for CCS with left merge and communication merge.
    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].

2005

  • Elena Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, Asia van de Mortel-Fronczak, Jos Baeten, Wan Fokkink and Koos Rooda:
    Analyzing a χ model of a turntabel system using Spin, CADP and UPPAAL.
    Journal of Logic and Algebraic Programming 65(2):51-104, 2005, Copyright © 2005 Elsevier Inc.
    [BibTeX].
  • Bas Luttik and Vincent van Oostrom:
    Decomposition orders - another generalisation of the fundamental theorem of arithmetic.
    Theoretical Computer Science, 335(2-3):147-186, 2005, Copyright © 2005 Elsevier Inc.
    [pdf, BibTeX].
  • Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik:
    Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge.
    Logical Methods in Computer Science 1 (1:3), 2005.
    [pdf, BibTeX].
  • Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik:
    CCS with Hennessy's merge has no finite equational axiomatization.
    Theoretical Computer Science, 330(3):377-405, 2005, Copyright © 2005 Elsevier Inc.
    [pdf, BibTeX].
  • Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik:
    Finite equational bases in process algebra: results and open questions.
    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].
  • Bas Luttik and Nikola Trcka:
    Stuttering congruence for χ .
    In: P. Godefroid, editor, Proceedings of SPIN 2005, LNCS 3639, pp. 185-199, August 2005, Copyright © 2005 Springer-Verlag.
    [pdf, BibTeX].

2004

2003

2000

  • Wan Fokkink and Bas Luttik:
    An omega-complete equational specification of interleaving (extended abstract) .
    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].

1997

  • Bas Luttik and Eelco Visser:
    Specification of rewriting strategies .
    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].
  • Bas Luttik:
    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

Thesis

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

Miscellaneous

Technical Reports