Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely
  Executable   Reactive Turing machines extend classical Turing machines with a facility to
model observable interactive behaviour. We call a behaviour (finitely)
executable if, and only if, it is equivalent to the behaviour of a (finite)
reactive Turing machine. In this paper, we study the relationship between
executable behaviour and behaviour that can be specified in the $\pi$-calculus.
We establish that every finitely executable behaviour can be specified in the
$\pi$-calculus up to divergence-preserving branching bisimilarity. The
converse, however, is not true due to (intended) limitations of the model of
reactive Turing machines. That is, the $\pi$-calculus allows the specification
of behaviour that is not finitely executable up to divergence-preserving
branching bisimilarity. We shall prove, however, that if the finiteness
requirement on reactive Turing machines and the associated notion of
executability is relaxed to orbit-finiteness, then the $\pi$-calculus is
executable up to (divergence-insensitive) branching bisimilarity.

19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
35
The categories of this paper are: mtrl-th