Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Structural Refinement for the Modal nu-Calculus   We introduce a new notion of structural refinement, a sound abstraction of
logical implication, for the modal nu-calculus. Using new translations between
the modal nu-calculus and disjunctive modal transition systems, we show that
these two specification formalisms are structurally equivalent.
  Using our translations, we also transfer the structural operations of
composition and quotient from disjunctive modal transition systems to the modal
nu-calculus. This shows that the modal nu-calculus supports composition and
decomposition of specifications.

19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
16
The categories of this paper are: stat
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
9
The categories of this paper are: nlin
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom