Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Prioritise the Best Variation   Binary session types guarantee communication safety and session fidelity, but
alone they cannot rule out deadlocks arising from the interleaving of different
sessions. In Classical Processes (CP)$-$a process calculus based on classical
linear logic$-$deadlock freedom is guaranteed by combining channel creation and
parallel composition under the same logical cut rule. Similarly, in Good
Variation (GV)$-$a linear concurrent $\lambda$-calculus$-$deadlock freedom is
guaranteed by combining channel creation and thread spawning under the same
operation, called fork.
  In both CP and GV, deadlock freedom is achieved at the expense of
expressivity, as the only processes allowed are tree-structured. Dardha and Gay
define Priority CP (PCP), which allows cyclic-structured processes and restores
deadlock freedom by using priorities, in line with Kobayashi and Padovani.
  Following PCP, we present Priority GV (PGV), a variant of GV which decouples
channel creation from thread spawning. Consequently, we type cyclic-structured
processes and restore deadlock freedom by using priorities. We show that our
type system is sound by proving subject reduction and progress. We define an
encoding from PCP to PGV and prove that the encoding preserves typing and is
sound and complete with respect to the operational semantics.

14
The categories of this paper are: math-ph
35
The categories of this paper are: mtrl-th
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
2
The categories of this paper are: math
3
The categories of this paper are: physics
19
The categories of this paper are: eess
16
The categories of this paper are: stat
10
The categories of this paper are: q-bio
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat