Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Coherent branching feature bisimulation   Progress in the behavioral analysis of software product lines at the family
level benefits from further development of the underlying semantical theory.
Here, we propose a behavioral equivalence for feature transition systems (FTS)
generalizing branching bisimulation for labeled transition systems (LTS). We
prove that branching feature bisimulation for an FTS of a family of products
coincides with branching bisimulation for the LTS projection of each the
individual products. For a restricted notion of coherent branching feature
bisimulation we furthermore present a minimization algorithm and show its
correctness. Although the minimization problem for coherent branching feature
bisimulation is shown to be intractable, application of the algorithm in the
setting of a small case study results in a significant speed-up of model
checking of behavioral properties.

17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
2
The categories of this paper are: math
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th