Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Weak Markovian Bisimulation Congruences and Exact CTMC-Level
  Aggregations for Concurrent Processes   We have recently defined a weak Markovian bisimulation equivalence in an
integrated-time setting, which reduces sequences of exponentially timed
internal actions to individual exponentially timed internal actions having the
same average duration and execution probability as the corresponding sequences.
This weak Markovian bisimulation equivalence is a congruence for sequential
processes with abstraction and turns out to induce an exact CTMC-level
aggregation at steady state for all the considered processes. However, it is
not a congruence with respect to parallel composition. In this paper, we show
how to generalize the equivalence in a way that a reasonable tradeoff among
abstraction, compositionality, and exactness is achieved for concurrent
processes. We will see that, by enhancing the abstraction capability in the
presence of concurrent computations, it is possible to retrieve the congruence
property with respect to parallel composition, with the resulting CTMC-level
aggregation being exact at steady state only for a certain subset of the
considered processes.

23
The categories of this paper are: solv-int
28
The categories of this paper are: alg-geom
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
12
The categories of this paper are: nucl-th
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
37
The categories of this paper are: supr-con
14
The categories of this paper are: math-ph
6
The categories of this paper are: astro-ph