Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Uniform Labeled Transition Systems for Nondeterministic, Probabilistic,
  and Stochastic Process Calculi   Labeled transition systems are typically used to represent the behavior of
nondeterministic processes, with labeled transitions defining a one-step state
to-state reachability relation. This model has been recently made more general
by modifying the transition relation in such a way that it associates with any
source state and transition label a reachability distribution, i.e., a function
mapping each possible target state to a value of some domain that expresses the
degree of one-step reachability of that target state. In this extended
abstract, we show how the resulting model, called ULTraS from Uniform Labeled
Transition System, can be naturally used to give semantics to a fully
nondeterministic, a fully probabilistic, and a fully stochastic variant of a
CSP-like process language.

10
The categories of this paper are: q-bio
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
17
The categories of this paper are: q-fin
21
The categories of this paper are: adap-org
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
18
The categories of this paper are: econ