Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the Expressiveness of Intensional Communication   The expressiveness of communication primitives has been explored in a common
framework based on the pi-calculus by considering four features: synchronism
(asynchronous vs synchronous), arity (monadic vs polyadic data), communication
medium (shared dataspaces vs channel-based), and pattern-matching (binding to a
name vs testing name equality). Here pattern-matching is generalised to account
for terms with internal structure such as in recent calculi like Spi calculi,
Concurrent Pattern Calculus and Psi calculi. This paper explores intensionality
upon terms, in particular communication primitives that can match upon both
names and structures. By means of possibility/impossibility of encodings, this
paper shows that intensionality alone can encode synchronism, arity,
communication-medium, and pattern-matching, yet no combination of these without
intensionality can encode any intensional language.

13
The categories of this paper are: quant-ph
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph
36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol