Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An O(m log n) Algorithm for Stuttering Equivalence and Branching
  Bisimulation   We provide a new algorithm to determine stuttering equivalence with time
complexity $O(m \log n)$, where $n$ is the number of states and $m$ is the
number of transitions of a Kripke structure. This algorithm can also be used to
determine branching bisimulation in $O(m(\log |\mathit{Act}|+ \log n))$ time
where $\mathit{Act}$ is the set of actions in a labelled transition system.
Theoretically, our algorithm substantially improves upon existing algorithms
which all have time complexity $O(m n)$ at best. Moreover, it has better or
equal space complexity. Practical results confirm these findings showing that
our algorithm can outperform existing algorithms with orders of magnitude,
especially when the sizes of the Kripke structures are large. The importance of
our algorithm stretches far beyond stuttering equivalence and branching
bisimulation. The known $O(m n)$ algorithms were already far more efficient
(both in space and time) than most other algorithms to determine behavioural
equivalences (including weak bisimulation) and therefore it was often used as
an essential preprocessing step. This new algorithm makes this use of
stuttering equivalence and branching bisimulation even more attractive.

32
The categories of this paper are: atom-ph
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas
18
The categories of this paper are: econ
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
0
The categories of this paper are: hep-ph
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an