Graph rewrite systems for program optimization, ACM Transactions on Programming Languages and Systems, vol.22, issue.4, pp.583-637, 2000. ,
DOI : 10.1145/363911.363914
High-level replacement units and their termination properties, Journal of Visual Languages & Computing, vol.16, issue.6, 2005. ,
DOI : 10.1016/j.jvlc.2005.07.001
Towards a systematic method for proving termination of graph transformation systems, Proceedings of GT-VC 2007, 2007. ,
Graph processes, Fundamenta Informaticae, vol.264, issue.3, pp.241-265, 1996. ,
ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION ??? PART I: BASIC CONCEPTS AND DOUBLE PUSHOUT APPROACH, Handbook of Graph Grammars and Computing by Graph Transformation, 1997. ,
DOI : 10.1142/9789812384720_0003
Dániel Varró, and Szilvia Varró-Gyapay. Termination criteria for model transformation, Proceedings of FASE 2005, 2005. ,
Match-bounded string rewriting, Applicable Algebra in Engineering, Communication and Computing, vol.15, pp.3-4149, 2004. ,
DOI : 10.1007/978-3-540-45138-9_39
Arctic Termination ...Below Zero, Proceedings of RTA 2008, 2008. ,
DOI : 10.1007/978-3-540-70590-1_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.1851
Termination of graph rewriting is undecidable, Fundementa Informaticae, vol.33, issue.2, pp.201-209, 1998. ,
Termination Analysis of Model Transformations by Petri Nets, Proceedings of ICGT 2006, 2006. ,
DOI : 10.1007/11841883_19
Termination of term rewriting by semantic labelling, Fundementa Informaticae, vol.24, pp.89-105, 1995. ,
Termination of Cycle Rewriting, Proceedings of RTA-TLCA 2014, 2014. ,
DOI : 10.1007/978-3-319-08918-8_33
URL : http://repository.tue.nl/776735