Concurrent Rewriting for Graphs with Equivalences

Paolo Baldan, Fabio Gadducci, Ugo Montanari. Concurrent Rewriting for Graphs with Equivalences. In Christel Baier, Holger Hermanns, editors, CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. Volume 4137 of Lecture Notes in Computer Science, pages 279-294, Springer, 2006. [doi]

@inproceedings{BaldanGM06,
  title = {Concurrent Rewriting for Graphs with Equivalences},
  author = {Paolo Baldan and Fabio Gadducci and Ugo Montanari},
  year = {2006},
  doi = {10.1007/11817949_19},
  url = {http://dx.doi.org/10.1007/11817949_19},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/BaldanGM06},
  cites = {0},
  citedby = {0},
  pages = {279-294},
  booktitle = {CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
  editor = {Christel Baier and Holger Hermanns},
  volume = {4137},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37376-4},
}