Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Probabilistic Concurrent Kleene Algebra   We provide an extension of concurrent Kleene algebras to account for
probabilistic properties. The algebra yields a unified framework containing
nondeterminism, concurrency and probability and is sound with respect to the
set of probabilistic automata modulo probabilistic simulation. We use the
resulting algebra to generalise the algebraic formulation of a variant of
Jones' rely/guarantee calculus.

2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
32
The categories of this paper are: atom-ph
16
The categories of this paper are: stat
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
21
The categories of this paper are: adap-org