Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The logic of message passing   Message passing is a key ingredient of concurrent programming. The purpose of
this paper is to describe the equivalence between the proof theory, the
categorical semantics, and term calculus of message passing. In order to
achieve this we introduce the categorical notion of a linear actegory and the
related polycategorical notion of a poly-actegory. Not surprisingly the
notation used for the term calculus borrows heavily from the (synchronous)
pi-calculus. The cut elimination procedure for the system provides an
operational semantics.

6
The categories of this paper are: astro-ph
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas