Search the dblp DataBase

Publications of Author

1. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
   Finite Equational Bases in Process Algebra: Results and Open Questions. [Citation Graph (0, 0)][DBLP]
   Processes, Terms and Cycles, 2005, pp:338-367 [Conf]
   
2. Clemens Grabmayer, Jan Willem Klop, Bas Luttik
   Some Remarks on Definability of Process Graphs. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2006, pp:16-36 [Conf]
   
3. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
   A Finite Equational Base for CCS with Left Merge and Communication Merge. [Citation Graph (0, 0)][DBLP]
   ICALP (2), 2006, pp:492-503 [Conf]
   
4. Bas Luttik
   A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory. [Citation Graph (0, 0)][DBLP]
   MFCS, 2003, pp:562-571 [Conf]
   
5. Bas Luttik, Nikola Trcka
   Stuttering Congruence for chi. [Citation Graph (0, 0)][DBLP]
   SPIN, 2005, pp:185-199 [Conf]
   
6. Bas Luttik
   On the expressiveness of choice quantification. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2003, v:121, n:1, pp:39-87 [Journal]
   
7. Bas Luttik
   What is algebraic in process theory? [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:227-231 [Journal]
   
8. Clemens Grabmayer, Jan Willem Klop, Bas Luttik
   Reflections on a Geometry of Processes. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:183-190 [Journal]
   
9. Jan Friso Groote, Bas Luttik, Jos van Wamel
   Editorial. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1998, v:10, n:5-6, pp:435- [Journal]
   
10. Bas Luttik, Piet Rodenburg, Rakesh M. Verma
    Remarks on Thatte's transformation of term rewriting systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:195, n:1-2, pp:66-87 [Journal]
    
11. 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. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2005, v:65, n:2, pp:51-104 [Journal]
    
12. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2005, v:1, n:1, pp:- [Journal]
    
13. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    CCS with Hennessy's merge has no finite-equational axiomatization. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:330, n:3, pp:377-405 [Journal]
    
14. Bas Luttik, Vincent van Oostrom
    Decomposition orders another generalisation of the fundamental theorem of arithmetic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:335, n:2-3, pp:147-186 [Journal]
    
15. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
    
16. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    A Finite Equational Base for CCS with Left Merge and Communication Merge [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
17. 
    Finite Equational Bases for Fragments of CCS with Restriction and Relabelling. [Citation Graph (, )][DBLP]
    
    
18. 
    A Process-Theoretic Look at Automata. [Citation Graph (, )][DBLP]
    
    
19. 
    Branching Bisimilarity with Explicit Divergence [Citation Graph (, )][DBLP]
    
    
20. 
    Computation Tree Logic with Deadlock Detection [Citation Graph (, )][DBLP]