Author:
Bruggink H. J. Sander,König Barbara,Zantema Hans
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Aßmann, U.: Graph rewrite systems for program optimization. ACM Transactions on Programming Languages and Systems 22(4), 583–637 (2000)
2. Bottoni, P., Hoffman, K., Presicce, F.P., Taentzer, G.: High-level replacement units and their termination properties. Journal of Visual Languages and Computing (2005)
3. Bruggink, H.J.S.: Towards a systematic method for proving termination of graph transformation systems. In: Proceedings of GT-VC 2007 (2007)
4. Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae 26(3/4), 241–265 (1996)
5. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation I: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1, World Scientific (1997)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献