109 search results - page 2 / 22 » Verification of Graph Transformation Systems with Context-Fr... |
BIRTHDAY
2008
Springer
13 years 7 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 ...
ENTCS
2008
13 years 5 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...
RTCSA
1998
IEEE
13 years 9 months ago
1998
IEEE
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
IFM
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...