In Journals, Conference and Workshop proceedings
2024
- Jos Baeten and Bas Luttik:
Sequential Value Passing Yields a Kleene Theorem for Processes.
In: Venanzio Capretta, Robbert Krebbers and Freek Wiedijk, editors,
Logics and Type Systems in Theory
and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday,
LNCS 14560, pp. 1-16, 2024.
- Hubert Garavel and Bas Luttik:
Four Formal Models of {IEEE} 1394 Link Layer.
In: Frédéric Lang and Matthias Volk, editors,
Proceedings of MARS 2024,
EPTCS 399, pp. 21-100, 2024.
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
- Rob van Glabbeek, Bas Luttik and Linda Spaninks:
Rooted divergence-preserving
branching bisimilarity is a congruence.
Logical Methods in
Computer Science 16(3:14):1-16, 2020.
- Luca Aceto, Elli
Anastasiadi, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik and Mathias
Ruggaard Pedersen:
On the Axiomatisability of
Priority III: Priority Strikes Again.
Theoretical
Computer Science 837:223-246, 2020.
- Mark Bouwman, Bas Luttik and Tim Willemse:
Off-the-shelf Automated
Analysis of Liveness Properties for Just Paths.
Acta Informatica
57:551-590, 2020.
- Mark Bouwman, Bas Luttik, Wouter Schols and Tim Willemse:
A Process Algebra with Global Variables.
In: Ornela Dardha and Jurriaan Rot, editors,
Proceedings of EXPRESS/SOS 2020, EPTCS 322, pp. 33-50, 2020.
- Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas
Luttik and Mathias Ruggaard Pedersen:
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum.
In: Igor Konnov and Laura Kovacs, editors,
Proceedings CONCUR 2020,
LIPIcs 171,
pp. 18:1-18:22, 2020.
- Mark Bouwman, Djurre van der Wal, Bas Luttik, Marielle Stoelinga and
Arend Rensink:
What is the Point: Formal Analysis and Test Generation for a Railway Standard.
In: Piero Baraldi, Francesco Di Maio and Enrico Zio, editors, Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference (ESREL 2020 PSAM 15), pp. 921-928, Research Publishing, Singapore, 2020.
- Rick Erkens, Jurriaan Rot and Bas Luttik:
Up-to techniques for branching bisimilarity.
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.
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
- Wan Fokkink, Rob van Glabbeek and Bas Luttik:
Divide and Congruence III:
Stability & Divergence.
In: Roland Meyer and Uwe Nestmann, editors,
Proceedings CONCUR 2017,
LIPIcs 85,
pp. 15:1-15:16.
[BibTeX].
- Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva and Fabio
Zanasi:
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.
In: Roland Meyer and Uwe Nestmann, editors,
Proceedings CONCUR 2017,
LIPIcs 85,
pp. 25:1-25:16.
[BibTeX].
- Jos Baeten, Bas Luttik and Fei Yang:
Sequential Composition in the
Presence of Intermediate Termination (Extended Abstract).
In: Kirstin Peters and Simone Tini, editors,
Proceedings EXPRESS/SOS 2017,
EPTCS 255,
pp. 1-17.
[BibTeX].
2016
- Jos Baeten, Bas Luttik, Tim Muller and Paul van Tilburg:
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition.
Mathematical Structures in Computer Science 26:933-968, Copyright
© 2016 Cambridge University Press.
[pdf, BibTeX] .
- Bas Luttik:
Unique Parallel Decomposition
in Branching and Weak Bisimulation Semantics.
Theoretical Computer Science 612:29-44, Copyright © 2016 Elsevier Inc.
[pdf,
BibTeX].
- Bas Luttik and Matias David Lee:
Unique Parallel Decomposition
for the π-calculus.
In: Daniel Gebler and
Kirstin Peters, editors,
Proceedings EXPRESS/SOS 2016,
EPTCS 222,
pp. 45-59.
[BibTeX].
- Bas Luttik and Fei Yang:
On the Executability of
Interactive Computation.
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.
[BibTeX].
2015
- Bas Luttik and Fei Yang:
Executable Behaviour and the
π-calculus.
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.
[BibTeX].
- Sjoerd Cranen, Bas Luttik and Tim Willemse:
Evidence for Fixpoint Logic.
In: S. Kreutzer, editors,
Proceedings of CSL 2015,
LIPIcs 41,
pp. 78-93.
[pdf],
[BibTeX].
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
- Rob van Glabbeek, Bas Luttik and Nikola Trcka:
Computation Tree Logic with Deadlock Detection.
Logical Methods in Computer Science 5(4:5):1-24, Copyright © 2009 Creative Commons.
[pdf,
BibTeX].
- Rob van Glabbeek, Bas Luttik and Nikola Trcka:
Branching bisimilarity with explicit divergence.
Fundamenta Informaticae 93(4):371-392, Copyright © 2009 IOS Press.
[pdf,
BibTeX].
- Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik:
A finite equational base for CCS
with left merge and communication merge.
Transactions on Computational
Logic 10(1:6), Copyright © 2009 IOS Press.
[pdf,
BibTeX].
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
- On the expressiveness of choice
quantification.
Annals
of Pure and Applied Logic, 121:39-87, 2003, Copyright © 2003 Elsevier Inc.
[pdf,
BibTeX].
- Bas Luttik:
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].
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
- Proceedings of MARS 2022.
Clemens Dubslaff and Bas Luttik (editors)
EPTCS
355, April 2022, Munich, Germany.
- Special Issue of Mathematical
Structures in computer Science on EXPRESS 2011.
Bas
Luttik and Frank D. Valencia (editors).
Mathematical
Structures in Computer Science 28(8), Copyright © 2016
Cambridge University Press.
- Proceedings of EXPRESS/SOS 2013.
Johannes
Borgström and Bas
Luttik (editors)
EPTCS
120, August 2013, Buenos Aires, Argentina.
- Proceedings of EXPRESS/SOS
2012.
Bas
Luttik and Michel A. Reniers (editors).
EPTCS 89, September 2012, Newcastle upon
Tyne, United Kingdom.
- Proceedings of EXPRESS
2011.
Bas
Luttik and Frank Valencia (editors).
EPTCS
64, September 2011, Aachen, Germany.
- Special Issue of the Journal of
Logic and Algebraic Programming on Process Theory
for Hybrid Systems.
Jos Baeten and Bas
Luttik (editors).
Journal of Logic and
Algebraic Programming 68(1-2), Copyright © 2006 Elsevier Inc.
- Special Issue of Formal Aspects
of Computing on Applicable
Formal Methods.
Jan Friso Groote, Bas
Luttik, and Jos van Wamel (editors).
Formal Aspects of
Computing 10(5-6), Copyright © 1998 Springer-Verlag.
Thesis
- Choice quantification in process algebra
Ph.D. Thesis, University of Amsterdam, April 2002.
[pdf,
BibTeX].
Miscellaneous
- Supporting Railway Innovations with Formal Modelling and Verification.
In: Jan Friso Groote and Marieke Huisman, editors,
Proceedings of FMICS 2022, Lecture Notes
in Computer Science, vol 13487, pp. 8-11, Springer, Cham, 2022.
- Divergence-Preserving Branching
Bisimilarity.
In: Ornela Dardha and Jurriaan Rot, editors,
Proceedings of EXPRESS/SOS 2020, EPTCS 322, pp. 3-11, 2020.
- The use of formal methods in
specification and demonstration of ERTMS Hybrid Level 3
(with Maarten Bartholomeus, Tim Willemse, Dominik Hansen, Michael Leuschel and Paul Hendriks).
IRSE News 260, pp. 14-17, November 2019.
- The use of formal methods in standardisation of interfaces
of signalling systems (with Maarten van der Werff, Bernd
Elsweiler and Paul Hendriks).
IRSE News 256, pp. 15-17, June 2019.
- When
Turing Meets Milner (with Jos Baeten and
Paul van
Tilburg).
ERCIM News 91 (special theme: What is Computation? Alan
Turing's Legacy), pp. 11-12, October 2012.
-
What is algebraic in process
theory?
In: Luca Aceto, editor,
The Concurrency Column,
Bulletin of the
EATCS 88, February 2006.
This is an extended version of an essay [pdf] that appeared in: Luca Aceto and Andrew Gordon, editors, Proceedings of the Workshop Algebraic Process
Calculi: The First Twenty Five Years and Beyond (APC 25),
ENTCS 162,
pp. 227-231,
September 2006, Copyright © Elsevier 2006 Inc.
Slides for my talk at the workshop [pdf].
[pdf]
-
Guest editors' introduction: special issue on process theory for hybrid systems
(with Jos
Baeten).
Journal
of Logic and
Algebraic Programming 68(1-2):1-3, 2006, Copyright © 2006 Elsevier Inc.
[BibTeX].
- Reflections on a Geometry of
Processes (with Clemens
Grabmayer and Jan Willem Klop).
In: Luca Aceto and Andrew Gordon, editors, Proceedings of the Workshop Algebraic Process
Calculi: The First Twenty Five Years and Beyond (APC 25),
ENTCS 162,
pp. 183-190,
September 2006, Copyright © Elsevier 2006 Inc.
[pdf].
- How
can I be sure that my DVD player understands my TV? (with Wan Fokkink, Izak van Langevelde and Yaroslav
Usenko).
ERCIM News 47 (special issue on ambient intelligence), 34-35, October 2001.
Technical Reports
- Rooted Divergence-Preserving Branching Bisimilarity is a Congruence (with Rob van
Glabbeek and Linda Spaninks).
CoRR abs/1801.01180, 2018.
- A Finite Equational Base for CCS with Left Merge and Communication Merge (with Luca Aceto, Wan Fokkink and Anna
Ingólfsdóttir).
Report RS-06-6,
BRICS, University of Aarhus, Denmark, January 2006.
- Decomposition Orders -
another generalisation of the fundamental theorem of arithmetic
(with Vincent
van Oostrom).
Report
SEN-R0414, CWI, The Netherlands, September 2004.
- Split-2 Bisimilarity has a Finite
Axiomatization over CCS with Hennessy's Merge (with Luca Aceto, Wan Fokkink and Anna
Ingólfsdóttir).
Report RS-04-1,
BRICS, University of Aarhus, Denmark, January 2004.
- CCS with Hennessy's merge has no
finite equational axiomatization (with Luca Aceto, Wan Fokkink and Anna
Ingólfsdóttir).
Report RS-03-34, BRICS,
University of Aarhus, Denmark, November 2003.
- Complete axiomatisations of weak-, delay- and eta-bisimulation
for process algebras with alternative quantification over data.
Report
SEN-R9914, CWI, The Netherlands.
- Cylindric process algebras with conditionals give
substitutionless pCRL.
Report
SEN-R9912, CWI, The Netherlands.
- A complete axiomatisation of branching bisimulation for
process
algebras with alternative quantification over data (with Jan Friso
Groote).
Report
SEN-R9830, CWI, The Netherlands.
- Undecidability and completeness results for process algebras
with alternative quantification over data (with Jan Friso
Groote).
Report
SEN-R9806, CWI, The Netherlands. A summary
of this paper is also available.
- Transformations of reduction systems (with Piet
Rodenburg).
Report
P9615, Programming Research Group, University of Amsterdam, The
Netherlands. This report was a revised version of my Master's
Thesis.