Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Deadlock in packet switching networks   A deadlock in a packet switching network is a state in which one or more
messages have not yet reached their target, yet cannot progress any further. We
formalize three different notions of deadlock in the context of packet
switching networks, to which we refer as global, local and weak deadlock. We
establish the precise relations between these notions, and prove they
characterize different sets of deadlocks. Moreover, we implement checking of
deadlock freedom of packet switching networks using the symbolic model checker
nuXmv. We show experimentally that the implementation is effective at finding
subtle deadlock situations in packet switching networks.

2
The categories of this paper are: math
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
33
The categories of this paper are: plasm-ph
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess