Bas Luttik

S. P. Luttik

	2012
37		Bas Luttik: Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics CoRR abs/1205.2117: (2012)
	2011
36		Bas Luttik, Frank Valencia: Proceedings 18th International Workshop on Expressiveness in Concurrency EXPRESS 2011
35		Jos C. M. Baeten, Bas Luttik, Paul van Tilburg: Reactive Turing Machines. FCT 2011: 348-359
34		Jos C. M. Baeten, Bas Luttik, Paul van Tilburg: Computations and Interaction. ICDCIT 2011: 35-54
33		Jos C. M. Baeten, Bas Luttik, Paul van Tilburg: Reactive Turing Machines CoRR abs/1104.1738: (2011)
32		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): 3035-3044 (2011)
31		Jos C. M. Baeten, Bas Luttik: Unguardedness mostly means many solutions. Theor. Comput. Sci. 412(28): 3090-3100 (2011)
	2010
30		Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg: Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) EXPRESS'10 2010: 1-15
29		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: 225-250
28		Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol: Towards model checking executable UML specifications in mCRL2. ISSE 6(1-2): 83-90 (2010)
	2009
27		Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg: A Process-Theoretic Look at Automata. FSEN 2009: 1-33
26		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)
25		Rob J. van Glabbeek, Bas Luttik, Nikola Trcka: Branching Bisimilarity with Explicit Divergence. Fundam. Inform. 93(4): 371-392 (2009)
24		Rob J. van Glabbeek, Bas Luttik, Nikola Trcka: Computation Tree Logic with Deadlock Detection Logical Methods in Computer Science 5(4): (2009)
	2008
23		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
22		Rob J. van Glabbeek, Bas Luttik, Nikola Trcka: Branching Bisimilarity with Explicit Divergence CoRR abs/0812.3068: (2008)
21		Taolue Chen, Wan Fokkink, Bas Luttik, Sumit Nain: On finite alphabets and infinite bases. Inf. Comput. 206(5): 492-519 (2008)
20		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
19		Clemens Grabmayer, Jan Willem Klop, Bas Luttik: Some Remarks on Definability of Process Graphs. CONCUR 2006: 16-36
18		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
17		Bas Luttik: What is Algebraic in Process Theory? Bulletin of the EATCS 88: 66-83 (2006)
16		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		Clemens Grabmayer, Jan Willem Klop, Bas Luttik: Reflections on a Geometry of Processes. Electr. Notes Theor. Comput. Sci. 162: 183-190 (2006)
14		Bas Luttik: What is algebraic in process theory? Electr. Notes Theor. Comput. Sci. 162: 227-231 (2006)
13		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		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		Bas Luttik, Nikola Trcka: Stuttering Congruence for chi. SPIN 2005: 185-199
10		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		Elena 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		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		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		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		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		Bas Luttik: A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory. MFCS 2003: 562-571
3		Bas Luttik: On the expressiveness of choice quantification. Ann. Pure Appl. Logic 121(1): 39-87 (2003)
	2000
2		Wan Fokkink, S. P. Luttik: An omega-Complete Equational Specification of Interleaving. ICALP 2000: 729-743
	1998
1		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] [18] [20] [23] [26] [32]
2	Jos C. M. Baeten	[9] [13] [27] [30] [31] [33] [34] [35]
3	Elena M. Bortnik	[9]
4	Silvio Capobianco	[20]
5	Taolue Chen	[21] [32]
6	Pieter J. L. Cuijpers	[27]
7	Wan Fokkink	[2] [7] [8] [9] [10] [12] [16] [18] [21] [26]
8	Rob J. van Glabbeek	[22] [24] [25]
9	Clemens Grabmayer	[15] [19]
10	Jan Friso Groote	[1]
11	Helle Hvid Hansen	[28] [29]
12	Anna Ingólfsdóttir	[7] [8] [10] [12] [16] [18] [20] [23] [26] [32]
13	Jeroen Ketema	[28] [29]
14	Jan Willem Klop	[15] [19]
15	J. M. van de Mortel-Fronczak	[9]
16	Mohammad Reza Mousavi	[28] [29]
17	Tim Muller	[30]
18	Sumit Nain	[21]
19	Vincent van Oostrom	[6]
20	Jaco van de Pol	[28] [29] [32]
21	Pieter Hendrik Rodenburg (Piet Rodenburg)	[5]
22	J. E. Rooda (Jacobus E. Rooda)	[9]
23	Osmar Marchi dos Santos	[29]
24	P. J. A. van Tilburg (Paul van Tilburg)	[23] [27] [30] [33] [34] [35]
25	Nikola Trcka	[9] [11] [22] [24] [25]
26	Frank D. Valencia (Frank Valencia)	[36]
27	Rakesh M. Verma	[5]
28	Jos van Wamel	[1]
29	Anton Wijs	[9]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page