Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Session Subtyping Tool (Extended Version)   Session types are becoming popular and have been integrated in several
mainstream programming languages. Nevertheless, while many programming
languages consider asynchronous fifo channel communication, the notion of
subtyping used in session type implementations is the one defined by Gay and
Hole for synchronous communication. This might be because there are several
notions of asynchronous session subtyping, these notions are usually
undecidable, and only recently sound (but not complete) algorithmic
characterizations for these subtypings have been proposed. But the fact that
the definition of asynchronous session subtyping and the theory behind related
algorithms are not easily accessible to non-experts may also prevent further
integration. The aim of this paper, and of the tool presented therein, is to
make the growing body of knowledge about asynchronous session subtyping more
accessible, thus promoting its integration in practical applications of session
types.

31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph