Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Context-Free Session Types for Applied Pi-Calculus   We present a binary session type system using context-free session types to a
version of the applied pi-calculus of Abadi et. al. where only base terms,
constants and channels can be sent. Session types resemble process terms from
BPA and we use a version of bisimulation equivalence to characterize type
equivalence. We present a quotiented type system defined on type equivalence
classes for which type equivalence is built into the type system. Both type
systems satisfy general soundness properties; this is established by an appeal
to a generic session type system for psi-calculi.

0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
16
The categories of this paper are: stat
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat