Yasuyoshi Okada;Masahiro Hayashi
-;-
Confluence of graph transformation revisited
Processes, Terms and Cycles