1511 search results - page 42 / 303 » Hierarchical Graph Transformation |
127
click to vote
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
111
click to vote
GG
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...
129
click to vote
ENTCS
2008
15 years 2 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
ACSD
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
103
Voted
GG
2004
Springer
15 years 7 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...