Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Compositional specification in rewriting logic   Rewriting logic is naturally concurrent: several subterms of the state term
can be rewritten simultaneously. But state terms are global, which makes
compositionality difficult to achieve. Compositionality here means being able
to decompose a complex system into its functional components and code each as
an isolated and encapsulated system. Our goal is to help bringing
compositionality to system specification in rewriting logic. The base of our
proposal is the operation that we call synchronous composition. We discuss the
motivations and implications of our proposal, formalize it for rewriting logic
and also for transition structures, to be used as semantics, and show the power
of our approach with some examples. This paper is under consideration in Theory
and Practice of Logic Programming (TPLP).

7
The categories of this paper are: hep-th
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
2
The categories of this paper are: math
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
21
The categories of this paper are: adap-org
30
The categories of this paper are: q-alg
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
14
The categories of this paper are: math-ph