×

zbMATH — the first resource for mathematics

Luttik, Bas

Compute Distance To:
Author ID: luttik.bas Recent zbMATH articles by "Luttik, Bas"
Published as: Luttik, Bas; Luttik, B.
External Links: ORCID
Documents Indexed: 46 Publications since 1998, including 3 Books

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 92 times in 53 Documents Cited by Year
Branching bisimilarity with explicit divergence. Zbl 1183.68404
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
19
2009
Finite equational bases in process algebra: Results and open questions. Zbl 1171.68558
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
12
2005
Computation tree logic with deadlock detection. Zbl 1200.68166
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
8
2009
CCS with Hennessy’s merge has no finite-equational axiomatization. Zbl 1078.68102
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas
7
2005
On finite alphabets and infinite bases. Zbl 1146.68047
Chen, Taolue; Fokkink, Wan; Luttik, Bas; Nain, Sumit
6
2008
A finite equational base for CCS with left merge and communication merge. Zbl 1367.68207
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
6
2009
A process-theoretic look at automata. Zbl 1274.68155
Baeten, J. C. M.; Cuijpers, P. J. L.; Luttik, B.; van Tilburg, P. J. A.
4
2010
Decomposition orders – another generalisation of the fundamental theorem of arithmetic. Zbl 1085.06009
Luttik, Bas; van Oostrom, Vincent
3
2005
A unique decomposition theorem for ordered monoids with applications in process theory. Zbl 1124.68393
Luttik, Bas
3
2003
Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence. Zbl 1430.68162
Fokkink, Wan; van Glabbeek, Rob; Luttik, Bas
3
2019
Reactive Turing machines. Zbl 1358.68097
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul
3
2013
Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal. Zbl 1088.68523
Bortnik, E.; Trčka, N.; Wijs, A. J.; Luttik, B.; Van De Mortel-Fronczak, J. M.; Baeten, J. C. M.; Fokkink, W. J.; Rooda, J. E.
2
2005
Unique parallel decomposition in branching and weak bisimulation semantics. Zbl 1362.68218
Luttik, Bas
2
2012
The equational theory of prebisimilarity over basic CCS with divergence. Zbl 1191.68425
Aceto, Luca; Capobianco, Silvio; Ingolfsdottir, Anna; Luttik, Bas
2
2008
Expressiveness modulo bisimilarity of regular expressions with parallel composition. Zbl 1362.68198
Baeten, Jos C. M.; Luttik, Bas; Muller, Tim; van Tilburg, Paul
2
2016
Evidence for fixpoint logic. Zbl 1373.68286
Cranen, Sjoerd; Luttik, Bas; Willemse, Tim A. C.
2
2015
Executable behaviour and the \(\pi \)-calculus (extended abstract). Zbl 1433.68255
Luttik, Bas; Yang, Fei
2
2015
Reactive Turing machines. Zbl 1342.68126
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul
1
2011
A finite equational base for CCS with left merge and communication merge. Zbl 1134.68039
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
1
2006
On the axiomatizability of priority. II. Zbl 1216.68181
Aceto, Luca; Chen, Taolue; Ingolfsdottir, Anna; Luttik, Bas; van de Pol, Jaco
1
2011
Unguardedness mostly means many solutions. Zbl 1216.68185
Baeten, Jos C. M.; Luttik, Bas
1
2011
Turing meets Milner. Zbl 1364.68191
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul
1
2012
Proof graphs for parameterised Boolean equation systems. Zbl 1390.68425
Cranen, Sjoerd; Luttik, Bas; Willemse, Tim A. C.
1
2013
Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence. Zbl 1430.68162
Fokkink, Wan; van Glabbeek, Rob; Luttik, Bas
3
2019
Expressiveness modulo bisimilarity of regular expressions with parallel composition. Zbl 1362.68198
Baeten, Jos C. M.; Luttik, Bas; Muller, Tim; van Tilburg, Paul
2
2016
Evidence for fixpoint logic. Zbl 1373.68286
Cranen, Sjoerd; Luttik, Bas; Willemse, Tim A. C.
2
2015
Executable behaviour and the \(\pi \)-calculus (extended abstract). Zbl 1433.68255
Luttik, Bas; Yang, Fei
2
2015
Reactive Turing machines. Zbl 1358.68097
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul
3
2013
Proof graphs for parameterised Boolean equation systems. Zbl 1390.68425
Cranen, Sjoerd; Luttik, Bas; Willemse, Tim A. C.
1
2013
Unique parallel decomposition in branching and weak bisimulation semantics. Zbl 1362.68218
Luttik, Bas
2
2012
Turing meets Milner. Zbl 1364.68191
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul
1
2012
Reactive Turing machines. Zbl 1342.68126
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul
1
2011
On the axiomatizability of priority. II. Zbl 1216.68181
Aceto, Luca; Chen, Taolue; Ingolfsdottir, Anna; Luttik, Bas; van de Pol, Jaco
1
2011
Unguardedness mostly means many solutions. Zbl 1216.68185
Baeten, Jos C. M.; Luttik, Bas
1
2011
A process-theoretic look at automata. Zbl 1274.68155
Baeten, J. C. M.; Cuijpers, P. J. L.; Luttik, B.; van Tilburg, P. J. A.
4
2010
Branching bisimilarity with explicit divergence. Zbl 1183.68404
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
19
2009
Computation tree logic with deadlock detection. Zbl 1200.68166
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
8
2009
A finite equational base for CCS with left merge and communication merge. Zbl 1367.68207
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
6
2009
On finite alphabets and infinite bases. Zbl 1146.68047
Chen, Taolue; Fokkink, Wan; Luttik, Bas; Nain, Sumit
6
2008
The equational theory of prebisimilarity over basic CCS with divergence. Zbl 1191.68425
Aceto, Luca; Capobianco, Silvio; Ingolfsdottir, Anna; Luttik, Bas
2
2008
A finite equational base for CCS with left merge and communication merge. Zbl 1134.68039
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
1
2006
Finite equational bases in process algebra: Results and open questions. Zbl 1171.68558
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas
12
2005
CCS with Hennessy’s merge has no finite-equational axiomatization. Zbl 1078.68102
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas
7
2005
Decomposition orders – another generalisation of the fundamental theorem of arithmetic. Zbl 1085.06009
Luttik, Bas; van Oostrom, Vincent
3
2005
Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal. Zbl 1088.68523
Bortnik, E.; Trčka, N.; Wijs, A. J.; Luttik, B.; Van De Mortel-Fronczak, J. M.; Baeten, J. C. M.; Fokkink, W. J.; Rooda, J. E.
2
2005
A unique decomposition theorem for ordered monoids with applications in process theory. Zbl 1124.68393
Luttik, Bas
3
2003
all top 5

Cited by 76 Authors

13 Luttik, Bas
11 Aceto, Luca
10 Ingólfsdóttir, Anna
9 Fokkink, Willem Jan
7 de Frutos-Escrig, David
7 van Glabbeek, Robert Jan
6 Gregorio-Rodríguez, Carlos
6 Willemse, Tim A. C.
4 Chen, Taolue
4 Reniers, Michel Adriaan
3 Baeten, Jos C. M.
3 Groote, Jan Friso
2 Gazda, Maciej W.
2 Keiren, Jeroen J. A.
2 Nain, Sumit
2 Palomino, Miguel
2 Rooda, Jacobus E.
2 Schiffelers, R. R. H.
2 van Beek, D. A.
2 van Tilburg, Paul
2 Yang, Fei
1 Anastasiadi, Elli
1 Andova, Suzana
1 Baier, Christel
1 Bartoletti, Massimo
1 Basin, David A.
1 Bodei, Chiara
1 Bouwman, Mark
1 Carriegos, Miguel V.
1 Castiglioni, Valentina
1 Cimini, Matteo
1 Costa, Gabriele
1 Cranen, Sjoerd
1 Cuijpers, Pieter J. L.
1 D’Argenio, Pedro Rubén
1 DeCastro-García, Noemí
1 Degano, Pierpaolo
1 Dreier, Jannik
1 Ene, Cristian
1 Erkens, Rick
1 Fritz, Tobias
1 Fröschle, Sibylle B.
1 Fu, Yuxi
1 Galletta, Letterio
1 Georgievska, Sonja
1 Goriac, Eugen-Ioan
1 Hermanns, Holger
1 Höfner, Peter
1 Jansen, David N.
1 Jasper, Marc
1 Lafourcade, Pascal
1 Lakhnech, Yassine
1 Lasota, Sławomir
1 Laveaux, Maurice
1 Lüttgen, Gerald
1 Man, Ka Lok
1 Massaro, Vittorio
1 Mendler, Michael
1 Muñoz Castañeda, Ángel Luis
1 Pedersen, Mathias Ruggaard
1 Rot, Jurriaan
1 Sangiorgi, Davide
1 Scalas, Alceste
1 Schlüter, Maximilian
1 Spaninks, Linda
1 Steffen, Bernhard
1 Theunissen, R. J. M.
1 Tuosto, Emilio
1 Valmari, Antti
1 van Oostrom, Vincent
1 Wesselink, Wieger
1 Wijs, Anton J.
1 Winter, Kirsten
1 Xu, Xian
1 Yatapanage, Nisansala
1 Zunino, Roberto

Citations by Year