Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Model-Checking Process Equivalences   Process equivalences are formal methods that relate programs and system
which, informally, behave in the same way. Since there is no unique notion of
what it means for two dynamic systems to display the same behaviour there are a
multitude of formal process equivalences, ranging from bisimulation to trace
equivalence, categorised in the linear-time branching-time spectrum.
  We present a logical framework based on an expressive modal fixpoint logic
which is capable of defining many process equivalence relations: for each such
equivalence there is a fixed formula which is satisfied by a pair of processes
if and only if they are equivalent with respect to this relation. We explain
how to do model checking, even symbolically, for a significant fragment of this
logic that captures many process equivalences. This allows model checking
technology to be used for process equivalence checking. We show how partial
evaluation can be used to obtain decision procedures for process equivalences
from the generic model checking scheme.

10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
8
The categories of this paper are: hep-ex