A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Exploiting User-definable Synchronizations in Graph Transformation
2008
Electronical Notes in Theoretical Computer Science
Parametric Synchronized Hyperedge Replacement (PSHR) is a graph transformation formalism where productions specifying the behavior of single components can be synchronized to give full transitions. The main feature of PSHR is that the synchronization model is user-definable. To enhance the applicability of the approach we propose a simplified and more suggestive semantics, preserving however the expressive power of the original one. We also show how some common synchronization models can be
doi:10.1016/j.entcs.2008.04.027
fatcat:nmtcb4wy6jen3jornhfraiw6kq