On the Use of Graph Transformation in the Formal Specification of Model Interpreters

Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle. On the Use of Graph Transformation in the Formal Specification of Model Interpreters. J. UCS, 9(11):1296-1321, 2003. [doi]

Authors

Gabor Karsai

Identified as Gabor Karsai

Aditya Agrawal

This author has not been identified. Look up 'Aditya Agrawal' in Google

Feng Shi

This author has not been identified. Look up 'Feng Shi' in Google

Jonathan Sprinkle

This author has not been identified. It may be one of the following persons: Look up 'Jonathan Sprinkle' in Google