P. J. A. van Tilburg

dblp:50/147 · also Paul van Tilburg · DBLP profile ↗
← Back
5ranked-venue papers
0as first author
0since 2021 · last 2016
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Automata and formal languages · 50% Logic in computer science · 50%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science
concurrency theory
0.212013
Reactive Turing machines · Inf. Comput. 2013
Automata and formal languages
turing machines
0.212013
Reactive Turing machines · Inf. Comput. 2013
YearPublicationVenuePosition
2016 Expressiveness modulo bisimilarity of regular expressions with parallel composition
abstract
The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity. In this paper, we consider extensions of the theory of regular expressions with various forms of parallel composition and study the effect on expressiveness. First we prove that adding pure interleaving to the theory of regular expressions strictly increases its expressiveness modulo bisimilarity. Then, we prove that replacing the operation for pure interleaving by ACP-style parallel composition gives a further increase in expressiveness, still insufficient, however, to facilitate the expression of all finite automata up to bisimilarity. Finally, we prove that the theory of regular expressions with ACP-style parallel composition and encapsulation is expressive enough to express all finite automata up to bisimilarity. Our results extend the expressiveness results obtained by Bergstra, Bethke and Ponse for process algebras with (the binary variant of) Kleene's star operation.
Jos C. M. Baeten, Bas Luttik, Tim Muller, P. J. A. van Tilburg
Math. Struct. Comput. Sci.4
2013 Reactive Turing machines
Jos C. M. Baeten, Bas Luttik, P. J. A. van Tilburg
Inf. Comput.3
2012 Turing Meets Milner
Jos C. M. Baeten, Bas Luttik, P. J. A. van Tilburg
CONCUR3
2011 Reactive Turing Machines
Jos C. M. Baeten, Bas Luttik, P. J. A. van Tilburg
FCT3
2008 A Context-Free Process as a Pushdown Automaton
Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg
CONCUR3