Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reductions for Transition Systems at Work: Deriving a Logical
  Characterization of Quantitative Bisimulation   Weighted labelled transition systems (WLTSs) are an established meta-model
aiming to provide general results and tools for a wide range of systems such as
non-deterministic, stochastic, and probabilistic systems. In order to encompass
processes combining several quantitative aspects, extensions of the WLTS
framework have been further proposed, state-to-function transition systems
(FuTSs) and uniform labelled transition systems (ULTraSs) being two prominent
examples. In this paper we show that this hierarchy of meta-models collapses
when studied under the lens of bisimulation-coherent encodings. Taking
advantage of these reductions, we derive a fully abstract Hennessy-Milner-style
logic for FuTSs, i.e., which characterizes quantitative bisimilarity, from a
fully-abstract logic for WLTSs.

35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
9
The categories of this paper are: nlin
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
18
The categories of this paper are: econ