Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Probabilistic Bisimulation: Naturally on Distributions   In contrast to the usual understanding of probabilistic systems as stochastic
processes, recently these systems have also been regarded as transformers of
probabilities. In this paper, we give a natural definition of strong
bisimulation for probabilistic systems corresponding to this view that treats
probability distributions as first-class citizens. Our definition applies in
the same way to discrete systems as well as to systems with uncountable state
and action spaces. Several examples demonstrate that our definition refines the
understanding of behavioural equivalences of probabilistic systems. In
particular, it solves a long-standing open problem concerning the
representation of memoryless continuous time by memory-full continuous time.
Finally, we give algorithms for computing this bisimulation not only for finite
but also for classes of uncountably infinite systems.

10
The categories of this paper are: q-bio
2
The categories of this paper are: math
14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess
8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
26
The categories of this paper are: bayes-an
7
The categories of this paper are: hep-th