Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: SOS-based Modal Decomposition on Nondeterministic Probabilistic
  Processes   We propose a method for the decomposition of modal formulae on processes with
nondeterminism and probability with respect to Structural Operational
Semantics. The purpose is to reduce the satisfaction problem of a formula for a
process to verifying whether its subprocesses satisfy certain formulae obtained
from the decomposition. To deal with the probabilistic behavior of processes,
and thus with the decomposition of formulae characterizing it, we introduce a
SOS-like machinery allowing for the specification of the behavior of open
distribution terms. By our decomposition, we obtain (pre)congruence formats for
probabilistic bisimilarity, ready similarity and similarity.

36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
14
The categories of this paper are: math-ph
16
The categories of this paper are: stat
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
26
The categories of this paper are: bayes-an