Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reachability for dynamic parametric processes   In a dynamic parametric process every subprocess may spawn arbitrarily many,
identical child processes, that may communicate either over global variables,
or over local variables that are shared with their parent.
  We show that reachability for dynamic parametric processes is decidable under
mild assumptions. These assumptions are e.g. met if individual processes are
realized by pushdown systems, or even higher-order pushdown systems. We also
provide algorithms for subclasses of pushdown dynamic parametric processes,
with complexity ranging between NP and DEXPTIME.

15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
18
The categories of this paper are: econ
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
32
The categories of this paper are: atom-ph
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
34
The categories of this paper are: chem-ph