Bas Luttik

S. P. Luttik

2009
23	EE	Luca Aceto, Wan 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)
2008
22	EE	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: 317-332
21	EE	Rob J. van Glabbeek, Bas Luttik, Nikola Trcka: Branching Bisimilarity with Explicit Divergence CoRR abs/0812.3068: (2008)
20	EE	Taolue Chen, Wan Fokkink, Bas Luttik, Sumit Nain: On finite alphabets and infinite bases. Inf. Comput. 206(5): 492-519 (2008)
19	EE	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): 284-289 (2008)
2006
18	EE	Clemens Grabmayer, Jan Willem Klop, Bas Luttik: Some Remarks on Definability of Process Graphs. CONCUR 2006: 16-36
17	EE	Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: A Finite Equational Base for CCS with Left Merge and Communication Merge. ICALP (2) 2006: 492-503
16	EE	Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: A Finite Equational Base for CCS with Left Merge and Communication Merge CoRR abs/cs/0608001: (2006)
15	EE	Clemens Grabmayer, Jan Willem Klop, Bas Luttik: Reflections on a Geometry of Processes. Electr. Notes Theor. Comput. Sci. 162: 183-190 (2006)
14	EE	Bas Luttik: What is algebraic in process theory? Electr. Notes Theor. Comput. Sci. 162: 227-231 (2006)
13	EE	Jos C. M. Baeten, S. P. Luttik: Guest editors' introduction: Special issue on Process Theory for Hybrid Systems. J. Log. Algebr. Program. 68(1-2): 1-3 (2006)
2005
12	EE	Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: Finite Equational Bases in Process Algebra: Results and Open Questions. Processes, Terms and Cycles 2005: 338-367
11	EE	Bas Luttik, Nikola Trcka: Stuttering Congruence for chi. SPIN 2005: 185-199
10	EE	Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge CoRR abs/cs/0501040: (2005)
9	EE	E. M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda: Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebr. Program. 65(2): 51-104 (2005)
8	EE	Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. Logical Methods in Computer Science 1(1): (2005)
7	EE	Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: CCS with Hennessy's merge has no finite-equational axiomatization. Theor. Comput. Sci. 330(3): 377-405 (2005)
6	EE	Bas Luttik, Vincent van Oostrom: Decomposition orders another generalisation of the fundamental theorem of arithmetic. Theor. Comput. Sci. 335(2-3): 147-186 (2005)
2004
5	EE	Bas Luttik, Piet Rodenburg, Rakesh M. Verma: Remarks on Thatte's transformation of term rewriting systems. Inf. Comput. 195(1-2): 66-87 (2004)
2003
4	EE	Bas Luttik: A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory. MFCS 2003: 562-571
3	EE	Bas Luttik: On the expressiveness of choice quantification. Ann. Pure Appl. Logic 121(1): 39-87 (2003)
2000
2	EE	Wan Fokkink, S. P. Luttik: An omega-Complete Equational Specification of Interleaving. ICALP 2000: 729-743
1998
1	EE	Jan Friso Groote, Bas Luttik, Jos van Wamel: Editorial. Formal Asp. Comput. 10(5-6): 435 (1998)

Coauthor Index

1	Luca Aceto	[7] [8] [10] [12] [16] [17] [19] [22] [23]
2	Jos C. M. Baeten	[9] [13]
3	E. M. Bortnik	[9]
4	Silvio Capobianco	[19]
5	Taolue Chen	[20]
6	Wan Fokkink	[2] [7] [8] [9] [10] [12] [16] [17] [20] [23]
7	Rob J. van Glabbeek	[21]
8	Clemens Grabmayer	[15] [18]
9	Jan Friso Groote	[1]
10	Anna Ingólfsdóttir	[7] [8] [10] [12] [16] [17] [19] [22] [23]
11	Jan Willem Klop	[15] [18]
12	J. M. van de Mortel-Fronczak	[9]
13	Sumit Nain	[20]
14	Vincent van Oostrom	[6]
15	Piet Rodenburg	[5]
16	J. E. Rooda	[9]
17	Paul van Tilburg	[22]
18	Nikola Trcka	[9] [11] [21]
19	Rakesh M. Verma	[5]
20	Jos van Wamel	[1]
21	Anton Wijs	[9]

Colors in the list of coauthors