Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Kleene Algebra with Observations   Kleene algebra with tests (KAT) is an algebraic framework for reasoning about
the control flow of sequential programs. Generalising KAT to reason about
concurrent programs is not straightforward, because axioms native to KAT in
conjunction with expected axioms for concurrency lead to an anomalous equation.
In this paper, we propose Kleene algebra with observations (KAO), a variant of
KAT, as an alternative foundation for extending KAT to a concurrent setting. We
characterise the free model of KAO, and establish a decision procedure w.r.t.
its equational theory.

33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
2
The categories of this paper are: math
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph
3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
7
The categories of this paper are: hep-th