Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Characterising Testing Preorders for Finite Probabilistic Processes   In 1992 Wang & Larsen extended the may- and must preorders of De Nicola and
Hennessy to processes featuring probabilistic as well as nondeterministic
choice. They concluded with two problems that have remained open throughout the
years, namely to find complete axiomatisations and alternative
characterisations for these preorders. This paper solves both problems for
finite processes with silent moves. It characterises the may preorder in terms
of simulation, and the must preorder in terms of failure simulation. It also
gives a characterisation of both preorders using a modal logic. Finally it
axiomatises both preorders over a probabilistic version of CSP.

10
The categories of this paper are: q-bio
3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
8
The categories of this paper are: hep-ex
2
The categories of this paper are: math
17
The categories of this paper are: q-fin
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
7
The categories of this paper are: hep-th
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph