A parameterized graph transformation calculus for finite graphs with monadic branches.

Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano

Browse the full PPDP paper archive.