Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

P. J. A. van Tilburg

Paul van Tilburg

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BaetenLMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BaetenLMT16
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): 933-968 (2016)
2013
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BaetenLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BaetenLT13
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg:
Reactive Turing machines. Inf. Comput. 231: 143-166 (2013)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2012
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BaetenLT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BaetenLT12
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg:
Turing Meets Milner. CONCUR 2012: 1-20
2011
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/BaetenLT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/BaetenLT11
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg:
Reactive Turing Machines. FCT 2011: 348-359
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/BaetenLT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/BaetenLT11
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg:
Computations and Interaction. ICDCIT 2011: 35-54
2010
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6429
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6429
Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg:
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract). EXPRESS 2010: 1-15
2009
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/BaetenCLT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/BaetenCLT09
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
2008
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BaetenCT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BaetenCT08
Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg:
A Context-Free Process as a Pushdown Automaton. CONCUR 2008: 98-113
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/AcetoILT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/AcetoILT08
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
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaetenCT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaetenCT09
Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg:
A Basic Parallel Process as a Parallel Pushdown Automaton. EXPRESS 2008: 35-48

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2012
[i2]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/BaetenLT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BaetenLT12
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg:
When Turing Meets Milner. ERCIM News 2012(91) (2012)
2011
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1104-1738
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-1738
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg:
Reactive Turing Machines. CoRR abs/1104.1738 (2011)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.