Bas Luttik

110 papers A* 1B 18C 7Misc 1Journal 57Unranked 22
YearRankTypeTitle / Venue / Authors
2026 — conf
The Queue Automaton Revisited.
Juggling Formal Methods and Security
Jos C. M. Baeten, Bas Luttik
2025 J jnl
Axiomatising weak bisimulation congruences over CCS with left merge and communication merge.
Theor. Comput. Sci.
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2025 B conf
From Bisimulation to Traces: The Impact of Parallel Composition on Finite Bases.
CONCUR
Rowin Versteeg, Valentina Castiglioni, Bas Luttik
2025 B conf
Just Verification of Mutual Exclusion Algorithms.
CONCUR
Rob van Glabbeek, Bas Luttik, Myrthe S. C. Spronck
2025 J jnl
Just Verification of Mutual Exclusion Algorithms.
CoRR
Rob van Glabbeek, Bas Luttik, Myrthe S. C. Spronck
2025 J jnl
Non finite axiomatisability of weak bisimulation-based congruences.
Theor. Comput. Sci.
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2025 J jnl
The Queue Automaton Revisited.
CoRR
Jos C. M. Baeten, Bas Luttik
2024 — conf
Four Formal Models of IEEE 1394 Link Layer.
MARS
Hubert Garavel, Bas Luttik
2024 B conf
Progress, Justness and Fairness in Modal μ-Calculus Formulae.
CONCUR
Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse
2024 J jnl
Progress, Justness and Fairness in Modal μ-Calculus Formulae.
CoRR
Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse
2024 — conf
Sequential Value Passing Yields a Kleene Theorem for Processes.
Logics and Type Systems in Theory and Practice
Jos C. M. Baeten, Bas Luttik
2023 J jnl
A Case in Point: Verification and Testing of a EULYNX Interface.
Formal Aspects Comput.
Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink
2023 — conf
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract).
EXPRESS/SOS
Jos C. M. Baeten, Bas Luttik
2023 B conf
Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers.
CONCUR
Myrthe S. C. Spronck, Bas Luttik
2023 J jnl
Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers.
CoRR
Myrthe S. C. Spronck, Bas Luttik
2023 J jnl
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.
Log. Methods Comput. Sci.
Jos C. M. Baeten, Cesare Carissimo, Bas Luttik
2022 J jnl
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
ACM Trans. Comput. Log.
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2022 — conf
Decompositional Branching Bisimulation Minimisation of Monolithic Processes.
FACS
Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse
2022 J jnl
On the Axiomatisability of Parallel Composition.
Log. Methods Comput. Sci.
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2022 B conf
On the Axiomatisation of Branching Bisimulation Congruence over CCS.
CONCUR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2022 J jnl
On the Axiomatisation of Branching Bisimulation Congruence over CCS.
CoRR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2022 — ed.
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022.
MARS
Clemens Dubslaff, Bas Luttik
2022 J jnl
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.
CoRR
Jos C. M. Baeten, Cesare Carissimo, Bas Luttik
2022 — conf
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.
ISoLA (4)
Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer
2022 C conf
Supporting Railway Innovations with Formal Modelling and Verification.
FMICS
Bas Luttik
2021 C conf
A Formalisation of SysML State Machines in mCRL2.
FORTE
Mark Bouwman, Bas Luttik, Djurre van der Wal
2021 B conf
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
CSL
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2021 J jnl
Equivalence checking for weak bi-Kleene algebra.
Log. Methods Comput. Sci.
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2021 A* conf
In search of lost time: Axiomatising parallel composition in process algebras.
LICS
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2021 J jnl
In search of lost time: Axiomatising parallel composition in process algebras.
CoRR
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2021 C conf
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract).
FORTE
Mark Bouwman, Bas Luttik, Tim A. C. Willemse
2021 J jnl
On the Axiomatisability of Parallel Composition.
CoRR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2021 B conf
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.
CALCO
Jos C. M. Baeten, Cesare Carissimo, Bas Luttik
2021 J jnl
The π-Calculus is Behaviourally Complete and Orbit-Finitely Executable.
Log. Methods Comput. Sci.
Bas Luttik, Fei Yang
2020 — conf
A process algebra with global variables.
EXPRESS/SOS
Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse
2020 J jnl
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
CoRR
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2020 — conf
Divergence-Preserving Branching Bisimilarity.
EXPRESS/SOS
Bas Luttik
2020 J jnl
Off-the-shelf automated analysis of liveness properties for just paths.
Acta Informatica
Mark Bouwman, Bas Luttik, Tim A. C. Willemse
2020 B conf
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum.
CONCUR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2020 J jnl
On the axiomatisability of priority III: Priority strikes again.
Theor. Comput. Sci.
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2020 J jnl
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence.
Log. Methods Comput. Sci.
Rob van Glabbeek, Bas Luttik, Linda Spaninks
2020 B conf
Up-to Techniques for Branching Bisimilarity.
SOFSEM
Rick Erkens, Jurriaan Rot, Bas Luttik
2020 J jnl
Up-to Techniques for Branching Bisimilarity.
CoRR
Rick Erkens, Jurriaan Rot, Bas Luttik
2019 J jnl
Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence.
CoRR
Wan J. Fokkink, Rob van Glabbeek, Bas Luttik
2019 J jnl
Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence.
Inf. Comput.
Wan J. Fokkink, Rob van Glabbeek, Bas Luttik
2019 C conf
Formal Modelling and Verification of an Interlocking Using mCRL2.
FMICS
Mark Bouwman, Bob Janssen, Bas Luttik
2019 — conf
Modelling and Analysing Software in mCRL2.
FACS
Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse
2019 J jnl
On series-parallel pomset languages: Rationality, context-freeness and automata.
J. Log. Algebraic Methods Program.
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2019 B conf
Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity.
CALCO
Astrid Belder, Bas Luttik, Jos C. M. Baeten
2018 J jnl
Equivalence checking for weak bi-Kleene algebra.
CoRR
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2018 C conf
Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset.
FMICS
Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse
2018 J jnl
On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata.
CoRR
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2018 J jnl
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence.
CoRR
Rob J. van Glabbeek, Bas Luttik, Linda Spaninks
2017 B conf
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.
CONCUR
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2017 J jnl
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.
CoRR
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2017 B conf
Divide and Congruence III: Stability & Divergence.
CONCUR
Wan J. Fokkink, Rob J. van Glabbeek, Bas Luttik
2017 — conf
Sequential Composition in the Presence of Intermediate Termination (Extended Abstract).
EXPRESS/SOS
Jos C. M. Baeten, Bas Luttik, Fei Yang
2017 J jnl
Sequential Composition in the Presence of Intermediate Termination.
CoRR
Jos C. M. Baeten, Bas Luttik, Fei Yang
2016 J jnl
Expressiveness modulo bisimilarity of regular expressions with parallel composition.
Math. Struct. Comput. Sci.
Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg
2016 C conf
On the Executability of Interactive Computation.
CiE
Bas Luttik, Fei Yang
2016 J jnl
On the Executability of Interactive Computation.
CoRR
Bas Luttik, Fei Yang
2016 J jnl
Preface to special issue: EXPRESS 2011.
Math. Struct. Comput. Sci.
Bas Luttik, Frank D. Valencia
2016 — conf
Unique Parallel Decomposition for the Pi-calculus.
EXPRESS/SOS
Matias David Lee, Bas Luttik
2016 J jnl
Unique parallel decomposition in branching and weak bisimulation semantics.
Theor. Comput. Sci.
Bas Luttik
2015 B conf
Evidence for Fixpoint Logic.
CSL
Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse
2015 — conf
Executable Behaviour and the π-Calculus (extended abstract).
ICE
Bas Luttik, Fei Yang
2014 J jnl
Executable Behaviour and the $π$-Calculus.
CoRR
Bas Luttik, Fei Yang
2013 — ed.
Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013.
EXPRESS/SOS
Johannes Borgström, Bas Luttik
2013 B conf
Proof Graphs for Parameterised Boolean Equation Systems.
CONCUR
Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse
2013 J jnl
Reactive Turing machines.
Inf. Comput.
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
2012 — ed.
Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012.
EXPRESS/SOS
Bas Luttik, Michel A. Reniers
2012 B conf
Turing Meets Milner.
CONCUR
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
2012 J jnl
Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics
CoRR
Bas Luttik
2012 — conf
Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics.
IFIP TCS
Bas Luttik
2012 J jnl
When Turing Meets Milner.
ERCIM News
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
2011 C conf
A process-theoretic approach to supervisory control theory.
ACC
Jos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, Jacobus E. Rooda
2011 Misc conf
Computations and Interaction.
ICDCIT
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
2011 J jnl
On the axiomatizability of priority II.
Theor. Comput. Sci.
Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol
2011 — ed.
Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011.
EXPRESS
Bas Luttik, Frank Valencia
2011 J jnl
Reactive Turing Machines
CoRR
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
2011 B conf
Reactive Turing Machines.
FCT
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
2011 J jnl
Unguardedness mostly means many solutions.
Theor. Comput. Sci.
Jos C. M. Baeten, Bas Luttik
2010 — conf
Automated Verification of Executable UML Models.
FMCO
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos
2010 — conf
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
EXPRESS
Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg
2010 J jnl
Towards model checking executable UML specifications in mCRL2.
Innov. Syst. Softw. Eng.
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol
2009 — conf
A Process-Theoretic Look at Automata.
FSEN
Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg
2009 J jnl
A finite equational base for CCS with left merge and communication merge.
ACM Trans. Comput. Log.
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2009 J jnl
Branching Bisimilarity with Explicit Divergence.
Fundam. Informaticae
Rob J. van Glabbeek, Bas Luttik, Nikola Trcka
2009 J jnl
Computation Tree Logic with Deadlock Detection
Log. Methods Comput. Sci.
Rob J. van Glabbeek, Bas Luttik, Nikola Trcka
2008 J jnl
Branching Bisimilarity with Explicit Divergence
CoRR
Rob J. van Glabbeek, Bas Luttik, Nikola Trcka
2008 — conf
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.
IFIP TCS
Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg
2008 J jnl
On finite alphabets and infinite bases.
Inf. Comput.
Taolue Chen, Wan J. Fokkink, Bas Luttik, Sumit Nain
2008 J jnl
The equational theory of prebisimilarity over basic CCS with divergence.
Inf. Process. Lett.
Luca Aceto, Silvio Capobianco, Anna Ingólfsdóttir, Bas Luttik
2006 J jnl
A Finite Equational Base for CCS with Left Merge and Communication Merge
CoRR
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2006 — conf
A Finite Equational Base for CCS with Left Merge and Communication Merge.
ICALP (2)
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2006 B conf
Some Remarks on Definability of Process Graphs.
CONCUR
Clemens Grabmayer, Jan Willem Klop, Bas Luttik
2006 J jnl
What is Algebraic in Process Theory?
Bull. EATCS
Bas Luttik
2005 J jnl
Analyzing a
J. Log. Algebraic Methods Program.
Elena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, Joanna M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan J. Fokkink, Jacobus E. Rooda
2005 J jnl
CCS with Hennessy's merge has no finite-equational axiomatization.
Theor. Comput. Sci.
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2005 J jnl
Decomposition orders another generalisation of the fundamental theorem of arithmetic.
Theor. Comput. Sci.
Bas Luttik, Vincent van Oostrom
2005 — conf
Finite Equational Bases in Process Algebra: Results and Open Questions.
Processes, Terms and Cycles
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2005 — conf
Reflections on a Geometry of Processes.
APC 25
Clemens Grabmayer, Jan Willem Klop, Bas Luttik
2005 J jnl
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
CoRR
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2005 J jnl
Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge.
Log. Methods Comput. Sci.
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2005 — conf
Stuttering Congruence for
SPIN
Bas Luttik, Nikola Trcka
2005 — conf
What is algebraic in process theory?
APC 25
Bas Luttik
2004 J jnl
Remarks on Thatte's transformation of term rewriting systems.
Inf. Comput.
Bas Luttik, Piet Rodenburg, Rakesh M. Verma
2003 B conf
A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory.
MFCS
Bas Luttik
2003 J jnl
On the expressiveness of choice quantification.
Ann. Pure Appl. Log.
Bas Luttik
1998 J jnl
Editorial.
Formal Aspects Comput.
Jan Friso Groote, Bas Luttik, Jos van Wamel