Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the trade-off between labels and weights in quantitative bisimulation   Reductions for transition systems have been recently introduced as a uniform
and principled method for comparing the expressiveness of system models with
respect to a range of properties, especially bisimulations. In this paper we
study the expressiveness (w.r.t. bisimulations) of models for quantitative
computations such as weighted labelled transition systems (WLTSs), uniform
labelled transition systems (ULTraSs), and state-to-function transition systems
(FuTSs). We prove that there is a trade-off between labels and weights: at one
extreme lays the class of (unlabelled) weighted transition systems where
information is presented using weights only; at the other lays the class of
labelled transition systems (LTSs) where information is shifted on labels.
These categories of systems cannot be further reduced in any significant way
and subsume all the aforementioned models.

8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn