Bas Luttik - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

2008

2006

2005

Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy s MergeLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik. corr, abs/cs/0501040, 2005. [doi]

CCS with Hennessy s merge has no finite-equational axiomatizationLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik. TCS, 330(3):377-405, 2005. [doi]

Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy s mergeLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik. lmcs, 1(1), 2005. [doi]

Finite Equational Bases in Process Algebra: Results and Open QuestionsLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik. BIRTHDAY 2005: 338-367 [doi]

Analyzing a ::::chi:::: model of a turntable system using Spin, CADP and UppaalE. M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda. jlp, 65(2):51-104, 2005. [doi]

Decomposition orders another generalisation of the fundamental theorem of arithmeticBas Luttik, Vincent van Oostrom. TCS, 335(2-3):147-186, 2005. [doi]

Stuttering Congruence for ::::chi::::Bas Luttik, Nikola Trcka. spin 2005: 185-199 [doi]

2004

Remarks on Thatte s transformation of term rewriting systemsBas Luttik, Piet Rodenburg, Rakesh M. Verma. iandc, 195(1-2):66-87, 2004. [doi]

2003

On the expressiveness of choice quantificationBas Luttik. APAL, 121(1):39-87, 2003. [doi]

A Unique Decomposition Theorem for Ordered Monoids with Applications in Process TheoryBas Luttik. mfcs 2003: 562-571 [doi]

2000

An ::::omega::::-Complete Equational Specification of InterleavingWan Fokkink, Bas Luttik. icalp 2000: 729-743 [doi]

1998

EditorialJan Friso Groote, Bas Luttik, Jos van Wamel. fac, 10(5-6):435, 1998. [doi]

1997

Specification of Rewriting StrategiesBas Luttik, Eelco Visser. ASF+SDF 1997: