Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: CCS for Trees   CCS can be considered as a most natural extension of finite state automata in
which interaction is made possible thanks to parallel composition. We propose
here a similar extension for top-down tree automata. We introduce a parallel
composition which is parameterized by a graph at the vertices of which
subprocesses are located. Communication is allowed only between subprocesses
related by an edge in this graph. We define an observational equivalence based
on barbs as well as weak bisimilarity equivalence and prove an adequacy theorem
relating these two notions.

13
The categories of this paper are: quant-ph
27
The categories of this paper are: comp-gas
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
17
The categories of this paper are: q-fin
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph