Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Concurrent Kleene Algebra with Observations: from Hypotheses to
  Completeness   Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a parallel
composition operator, which enables reasoning about concurrent programs.
However, CKA fundamentally misses tests, which are needed to model standard
programming constructs such as conditionals and $\mathsf{while}$-loops. It
turns out that integrating tests in CKA is subtle, due to their interaction
with parallelism. In this paper we provide a solution in the form of Concurrent
Kleene Algebra with Observations (CKAO). Our main contribution is a
completeness theorem for CKAO. Our result resorts on a more general study of
CKA "with hypotheses", of which CKAO turns out to be an instance: this analysis
is of independent interest, as it can be applied to extensions of CKA other
than CKAO.

36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
3
The categories of this paper are: physics
0
The categories of this paper are: hep-ph
29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph
23
The categories of this paper are: solv-int