Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Parameterized Verification of Graph Transformation Systems with Whole
  Neighbourhood Operations   We introduce a new class of graph transformation systems in which rewrite
rules can be guarded by universally quantified conditions on the neighbourhood
of nodes. These conditions are defined via special graph patterns which may be
transformed by the rule as well. For the new class for graph rewrite rules, we
provide a symbolic procedure working on minimal representations of upward
closed sets of configurations. We prove correctness and effectiveness of the
procedure by a categorical presentation of rewrite rules as well as the
involved order, and using results for well-structured transition systems. We
apply the resulting procedure to the analysis of the Distributed Dining
Philosophers protocol on an arbitrary network structure.

33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg