Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Fully Abstract Semantics for Value-passing CCS for Trees   This paper provides a fully abstract semantics for value-passing CCS for
trees (VCCTS). The operational semantics is given both in terms of a reduction
semantics and in terms of a labelled transition semantics. The labelled
transition semantics is non-sequential, allowing more than one action occurring
simultaneously. We develop the theory of behavioral equivalence by introducing
both weak barbed congruence and weak bisimilarity. In particular, we show that
weak barbed congruence coincides with weak bisimilarity on image-finite
processes. This is the first such result for a concurrent model with tree
structures. Distributed systems can be naturally modeled by means of this
graph-based system, and some examples are given to illustrate this.

23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
2
The categories of this paper are: math
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
26
The categories of this paper are: bayes-an