Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
A parameterized graph transformation calculus for finite graphs with monadic branches
PPDP, 2013.
@inproceedings{PPDP-2013-AsadaHKHN, author = "Kazuyuki Asada and Soichiro Hidaka and Hiroyuki Kato and Zhenjiang Hu and Keisuke Nakano", booktitle = "{Proceedings of the 15th International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/2505879.2505903", isbn = "978-1-4503-2154-9", pages = "73--84", publisher = "{ACM}", title = "{A parameterized graph transformation calculus for finite graphs with monadic branches}", year = 2013, }