Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Weak Concurrent Kleene Algebra with Application to Algebraic
  Verification   We propose a generalisation of concurrent Kleene algebra \cite{Hoa09} that
can take account of probabilistic effects in the presence of concurrency. The
algebra is proved sound with respect to a model of automata modulo a variant of
rooted $\eta$-simulation equivalence. Applicability is demonstrated by
algebraic treatments of two examples: algebraic may testing and Rabin's
solution to the choice coordination problem.

31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
2
The categories of this paper are: math
37
The categories of this paper are: supr-con