Equivalence and Independence in Controlled Graph-Rewriting Processes

Géza Kulcsár, Andrea Corradini, Malte Lochau. Equivalence and Independence in Controlled Graph-Rewriting Processes. In Leen Lambers, Jens Weber, editors, Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. Volume 10887 of Lecture Notes in Computer Science, pages 134-151, Springer, 2018. [doi]

Abstract

Abstract is missing.