Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Manifestly Phased Communication via Shared Session Types   Session types denote message protocols between concurrent processes, allowing
a type-safe expression of inter-process communication. Although previous work
demonstrate a well-defined notion of subtyping where processes have different
perceptions of the protocol, these formulations were limited to linear session
types where each channel of communication has a unique provider and client. In
this paper, we extend subtyping to shared session types where channels can now
have multiple clients instead of a single client. We demonstrate that this
generalization can statically capture protocol requirements that span multiple
phases of interactions of a client with a shared service provider, something
not possible in prior proposals. Moreover, the phases are manifest in the type
of the client.

0
The categories of this paper are: hep-ph
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat