Bas Luttik

S. P. Luttik

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]
2	Jos C. M. Baeten	[9] [13]
3	E. M. Bortnik	[9]
4	Wan Fokkink	[2] [7] [8] [9] [10] [12] [16] [17]
5	Clemens Grabmayer	[15] [18]
6	Jan Friso Groote	[1]
7	Anna Ingólfsdóttir	[7] [8] [10] [12] [16] [17]
8	Jan Willem Klop	[15] [18]
9	J. M. van de Mortel-Fronczak	[9]
10	Vincent van Oostrom	[6]
11	Piet Rodenburg	[5]
12	J. E. Rooda	[9]
13	Nikola Trcka	[9] [11]
14	Rakesh M. Verma	[5]
15	Jos van Wamel	[1]
16	Anton Wijs	[9]

Colors in the list of coauthors