Saturated LTSs for Adhesive Rewriting Systems

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari. Saturated LTSs for Adhesive Rewriting Systems. In Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr, editors, Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings. Volume 6372 of Lecture Notes in Computer Science, pages 123-138, Springer, 2010. [doi]

Abstract

Abstract is missing.