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]

@inproceedings{BonchiGMM10,
  title = {Saturated LTSs for Adhesive Rewriting Systems},
  author = {Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale and Ugo Montanari},
  year = {2010},
  doi = {10.1007/978-3-642-15928-2_9},
  url = {http://dx.doi.org/10.1007/978-3-642-15928-2_9},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/BonchiGMM10},
  cites = {0},
  citedby = {0},
  pages = {123-138},
  booktitle = {Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
  editor = {Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Schürr},
  volume = {6372},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-15927-5},
}