Bas Luttik

According to our database, Bas Luttik authored at least 75 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Four Formal Models of IEEE 1394 Link Layer.

Hubert Garavel, Bas Luttik

CoRR, 2024

2023

A Case in Point: Verification and Testing of a EULYNX Interface.

Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink

Formal Aspects Comput., March, 2023

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.

Jos C. M. Baeten, Cesare Carissimo, Bas Luttik

Log. Methods Comput. Sci., 2023

Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract).

Jos C. M. Baeten, Bas Luttik

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers.

Myrthe S. C. Spronck, Bas Luttik

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?

Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik

ACM Trans. Comput. Log., 2022

On the Axiomatisability of Parallel Composition.

Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen

Log. Methods Comput. Sci., 2022

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Supporting Railway Innovations with Formal Modelling and Verification.

Bas Luttik

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

Decompositional Branching Bisimulation Minimisation of Monolithic Processes.

Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

On the Axiomatisation of Branching Bisimulation Congruence over CCS.

Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

The π-Calculus is Behaviourally Complete and Orbit-Finitely Executable.

Bas Luttik, Fei Yang

Log. Methods Comput. Sci., 2021

Equivalence checking for weak bi-Kleene algebra.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Log. Methods Comput. Sci., 2021

In search of lost time: Axiomatising parallel composition in process algebras.

Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract).

Mark Bouwman, Bas Luttik, Tim A. C. Willemse

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

A Formalisation of SysML State Machines in mCRL2.

Mark Bouwman, Bas Luttik, Djurre van der Wal

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?

Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

On the axiomatisability of priority III: Priority strikes again.

Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen

Theor. Comput. Sci., 2020

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence.

Rob van Glabbeek, Bas Luttik, Linda Spaninks

Log. Methods Comput. Sci., 2020

A process algebra with global variables.

Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse

Proceedings of the Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, 2020

Divergence-Preserving Branching Bisimilarity.

Bas Luttik

Proceedings of the Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, 2020

Off-the-shelf automated analysis of liveness properties for just paths.

Mark Bouwman, Bas Luttik, Tim A. C. Willemse

Acta Informatica, 2020

Up-to Techniques for Branching Bisimilarity.

Rick Erkens, Jurriaan Rot, Bas Luttik

Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020

On the Axiomatisability of Parallel Composition: A Journey in the Spectrum.

Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

On series-parallel pomset languages: Rationality, context-freeness and automata.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

J. Log. Algebraic Methods Program., 2019

Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence.

Wan J. Fokkink, Rob van Glabbeek, Bas Luttik

Inf. Comput., 2019

Formal Modelling and Verification of an Interlocking Using mCRL2.

Mark Bouwman, Bob Janssen, Bas Luttik

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

Modelling and Analysing Software in mCRL2.

Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity.

Astrid Belder, Bas Luttik, Jos C. M. Baeten

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset.

Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

2017

Sequential Composition in the Presence of Intermediate Termination (Extended Abstract).

Jos C. M. Baeten, Bas Luttik, Fei Yang

Proceedings of the Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, 2017

Sequential Composition in the Presence of Intermediate Termination.

Jos C. M. Baeten, Bas Luttik, Fei Yang

CoRR, 2017

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Divide and Congruence III: Stability & Divergence.

Wan J. Fokkink, Rob J. van Glabbeek, Bas Luttik

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Unique parallel decomposition in branching and weak bisimulation semantics.

Bas Luttik

Theor. Comput. Sci., 2016

Preface to special issue: EXPRESS 2011.

Bas Luttik, Frank D. Valencia

Math. Struct. Comput. Sci., 2016

Expressiveness modulo bisimilarity of regular expressions with parallel composition.

Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg

Math. Struct. Comput. Sci., 2016

Unique Parallel Decomposition for the Pi-calculus.

Matias David Lee, Bas Luttik

Proceedings of the Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, 2016

On the Executability of Interactive Computation.

Bas Luttik, Fei Yang

Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016

2015

Executable Behaviour and the π-Calculus (extended abstract).

Bas Luttik, Fei Yang

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

Evidence for Fixpoint Logic.

Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Executable Behaviour and the $π$-Calculus.

Bas Luttik, Fei Yang

CoRR, 2014

2013

Reactive Turing machines.

Jos C. M. Baeten, Bas Luttik, Paul van Tilburg

Inf. Comput., 2013

Proof Graphs for Parameterised Boolean Equation Systems.

Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

When Turing Meets Milner.

Jos C. M. Baeten, Bas Luttik, Paul van Tilburg

ERCIM News, 2012

Turing Meets Milner.

Jos C. M. Baeten, Bas Luttik, Paul van Tilburg

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Unguardedness mostly means many solutions.

Jos C. M. Baeten, Bas Luttik

Theor. Comput. Sci., 2011

On the axiomatizability of priority II.

Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol

Theor. Comput. Sci., 2011

Computations and Interaction.

Jos C. M. Baeten, Bas Luttik, Paul van Tilburg

Proceedings of the Distributed Computing and Internet Technology, 2011

A process-theoretic approach to supervisory control theory.

Jos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, Jacobus E. Rooda

Proceedings of the American Control Conference, 2011

2010

Towards model checking executable UML specifications in mCRL2.

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol

Innov. Syst. Softw. Eng., 2010

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

Automated Verification of Executable UML Models.

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

A finite equational base for CCS with left merge and communication merge.

Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik

ACM Trans. Comput. Log., 2009

Branching Bisimilarity with Explicit Divergence.

Rob J. van Glabbeek, Bas Luttik, Nikola Trcka

Fundam. Informaticae, 2009

Computation Tree Logic with Deadlock Detection

Rob J. van Glabbeek, Bas Luttik, Nikola Trcka

Log. Methods Comput. Sci., 2009

A Process-Theoretic Look at Automata.

Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg

Proceedings of the Fundamentals of Software Engineering, 2009

2008

The equational theory of prebisimilarity over basic CCS with divergence.

Luca Aceto, Silvio Capobianco, Anna Ingólfsdóttir, Bas Luttik

Inf. Process. Lett., 2008

On finite alphabets and infinite bases.

Taolue Chen, Wan J. Fokkink, Bas Luttik, Sumit Nain

Inf. Comput., 2008

Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.

Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2006

Guest editors' introduction: Special issue on Process Theory for Hybrid Systems.

Jos C. M. Baeten, S. P. Luttik

J. Log. Algebraic Methods Program., 2006

Some Remarks on Definability of Process Graphs.

Clemens Grabmayer, Jan Willem Klop, Bas Luttik

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Decomposition orders another generalisation of the fundamental theorem of arithmetic.

Bas Luttik, Vincent van Oostrom

Theor. Comput. Sci., 2005

CCS with Hennessy's merge has no finite-equational axiomatization.

Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik

Theor. Comput. Sci., 2005

Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge.

Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik

Log. Methods Comput. Sci., 2005

Analyzing a <i>chi</i> model of a turntable system using Spin, CADP and Uppaal.

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

J. Log. Algebraic Methods Program., 2005

What is algebraic in process theory?

Bas Luttik

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Reflections on a Geometry of Processes.

Clemens Grabmayer, Jan Willem Klop, Bas Luttik

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Stuttering Congruence for <i>chi</i>.

Bas Luttik, Nikola Trcka

Proceedings of the Model Checking Software, 2005

Finite Equational Bases in Process Algebra: Results and Open Questions.

Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik

Proceedings of the Processes, 2005

2004

Remarks on Thatte's transformation of term rewriting systems.

Bas Luttik, Piet Rodenburg, Rakesh M. Verma

Inf. Comput., 2004

2003

On the expressiveness of choice quantification.

Bas Luttik

Ann. Pure Appl. Log., 2003

A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory.

Bas Luttik

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

2000

An <i>omega</i>-Complete Equational Specification of Interleaving.

Wan J. Fokkink, S. P. Luttik

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1998

Editorial.

Jan Friso Groote, Bas Luttik, Jos van Wamel

Formal Aspects Comput., 1998