1153 search results - page 64 / 231 » Reversing graph transformations |
ECEASST
2010
13 years 7 months ago
2010
ECEASST
2010
13 years 7 months ago
2010
INFORMATICALT
2000
13 years 9 months ago
2000
An original algorithm for transformation of finite automata to regular expressions is presented. This algorithm is based on effective graph algorithms and gives a transparent new p...
CONCUR
2004
Springer
14 years 3 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
BIRTHDAY
2008
Springer
14 years 13 hour ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...