Gnanamalar David;Frank Drewes;Hans-Jörg Kreowski
-;-;-
Observational Equivalence for Synchronized Graph Rewriting with Mobility
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software