Bas Luttik

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 56

Top Topics

Extended Abstract

Top Venues

Log. Methods Comput. Sci.

Publications

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