147 search results - page 1 / 30 » Unfolding semantics of graph transformation |
IANDC
2007
13 years 11 months ago
2007
BIRTHDAY
2008
Springer
14 years 1 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 ...
CONCUR
2004
Springer
14 years 4 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 ...
GG
2010
Springer
14 years 2 days ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
LOPSTR
1994
Springer
14 years 3 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...