Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Focusing in Asynchronous Games   Game semantics provides an interactive point of view on proofs, which enables
one to describe precisely their dynamical behavior during cut elimination, by
considering formulas as games on which proofs induce strategies. We are
specifically interested here in relating two such semantics of linear logic, of
very different flavor, which both take in account concurrent features of the
proofs: asynchronous games and concurrent games. Interestingly, we show that
associating a concurrent strategy to an asynchronous strategy can be seen as a
semantical counterpart of the focusing property of linear logic.

25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
29
The categories of this paper are: funct-an