Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Disentangling Parallelism and Interference in Game Semantics   Game semantics is a denotational semantics presenting compositionally the
computational behaviour of various kinds of effectful programs. One of its
celebrated achievement is to have obtained full abstraction results for
programming languages with a variety of computational effects, in a single
framework. This is known as the semantic cube or Abramsky's cube, which for
sequential deterministic programs establishes a correspondence between certain
conditions on strategies (''innocence'', ''well-bracketing'', ''visibility'')
and the absence of matching computational effects. Outside of the sequential
deterministic realm, there are still a wealth of game semantics-based full
abstraction results; but they no longer fit in a unified canvas. In particular,
Ghica and Murawski's fully abstract model for shared state concurrency (IA)
does not have a matching notion of pure parallel program-we say that
parallelism and interference (i.e. state plus semaphores) are entangled. In
this paper we construct a causal version of Ghica and Murawski's model, also
fully abstract for IA. We provide compositional conditions parallel innocence
and sequentiality, respectively banning interference and parallelism, and
leading to four full abstraction results. To our knowledge, this is the first
extension of Abramsky's semantic cube programme beyond the sequential
deterministic world.

4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci