Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Port Protocols for Deadlock-Freedom of Component Systems   In component-based development, approaches for property verification exist
that avoid building the global system behavior of the component model.
Typically, these approaches rely on the analysis of the local behavior of fixed
sized subsystems of components. In our approach, we want to avoid not only the
analysis of the global behavior but also of the local behaviors of the
components. Instead, we consider very small parts of the local behaviors called
port protocols that suffice to verify properties.

15
The categories of this paper are: nucl-ex
11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
12
The categories of this paper are: nucl-th
3
The categories of this paper are: physics
29
The categories of this paper are: funct-an
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph