Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Multiparty Classical Choreographies   We present Multiparty Classical Choreographies (MCC), a language model where
global descriptions of communicating systems (choreographies) implement typed
multiparty sessions. Typing is achieved by generalising classical linear logic
to judgements that explicitly record parallelism by means of hypersequents. Our
approach unifies different lines of work on choreographies and processes with
multiparty sessions, as well as their connection to linear logic. Thus, results
developed in one context are carried over to the others. Key novelties of MCC
include support for server invocation in choreographies, as well as
logic-driven compilation of choreographies with replicated processes.

5
The categories of this paper are: gr-qc
27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
20
The categories of this paper are: acc-phys
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics