Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Urgency in Asynchronous Timed Session Types   We study an urgent semantics of asynchronous timed session types, where input
actions happen as soon as possible. We show that with this semantics we can
recover to the timed setting an appealing property of untimed session types:
namely, deadlock-freedom is preserved when passing from synchronous to
asynchronous communication.

7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
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
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
2
The categories of this paper are: math