Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Confluence Detection for Transformations of Labelled Transition Systems   The development of complex component software systems can be made more
manageable by first creating an abstract model and then incrementally adding
details. Model transformation is an approach to add such details in a
controlled way. In order for model transformation systems to be useful, it is
crucial that they are confluent, i.e. that when applied on a given model, they
will always produce a unique output model, independent of the order in which
rules of the system are applied on the input. In this work, we consider
Labelled Transition Systems (LTSs) to reason about the semantics of models, and
LTS transformation systems to reason about model transformations. In related
work, the problem of confluence detection has been investigated for general
graph structures. We observe, however, that confluence can be detected more
efficiently in special cases where the graphs have particular structural
properties. In this paper, we present a number of observations to detect
confluence of LTS transformation systems, and propose both a new confluence
detection algorithm and a conflict resolution algorithm based on them.

22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
21
The categories of this paper are: adap-org
24
The categories of this paper are: dg-ga