P. J. A. van Tilburg

According to our database, P. J. A. van Tilburg authored at least 10 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Expressiveness modulo bisimilarity of regular expressions with parallel composition.

Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg

Math. Struct. Comput. Sci., 2016

2013

Reactive Turing machines.

Jos C. M. Baeten, Bas Luttik, Paul van Tilburg

Inf. Comput., 2013

2012

When Turing Meets Milner.

Jos C. M. Baeten, Bas Luttik, Paul van Tilburg

ERCIM News, 2012

Turing Meets Milner.

Jos C. M. Baeten, Bas Luttik, Paul van Tilburg

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Computations and Interaction.

Jos C. M. Baeten, Bas Luttik, Paul van Tilburg

Proceedings of the Distributed Computing and Internet Technology, 2011

2010

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

2009

A Process-Theoretic Look at Automata.

Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg

Proceedings of the Fundamentals of Software Engineering, 2009

2008

A Basic Parallel Process as a Parallel Pushdown Automaton.

Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.

Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

A Context-Free Process as a Pushdown Automaton.

Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008