Paul van Tilburg

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Regular Expressions

Deterministic Finite Automata

Reactive Planning

Top Venues

Math. Struct. Comput. Sci.

Publications

Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg
Expressiveness modulo bisimilarity of regular expressions with parallel composition. Math. Struct. Comput. Sci. 26 (6) (2016)
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
Reactive Turing machines. Inf. Comput. 231 (2013)
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
Turing Meets Milner. CONCUR (2012)
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
When Turing Meets Milner. ERCIM News 2012 (91) (2012)
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
Computations and Interaction. ICDCIT (2011)
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
Reactive Turing Machines CoRR (2011)
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
Reactive Turing Machines. FCT (2011)
Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) EXPRESS (2010)
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)