Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Termination Analysis for the $\pi$-Calculus by Reduction to Sequential
  Program Termination   We propose an automated method for proving termination of $\pi$-calculus
processes, based on a reduction to termination of sequential programs: we
translate a $\pi$-calculus process to a sequential program, so that the
termination of the latter implies that of the former. We can then use an
off-the-shelf termination verification tool to check termination of the
sequential program. Our approach has been partially inspired by Deng and
Sangiorgi's termination analysis for the $\pi$-calculus, and checks that there
is no infinite chain of communications on replicated input channels, by
converting such a chain of communications to a chain of recursive function
calls in the target sequential program. We have implemented an automated tool
based on the proposed method and confirmed its effectiveness.

7
The categories of this paper are: hep-th
2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
19
The categories of this paper are: eess
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics