Confluence of Graph Rewriting with Interfaces (bibtex)

by Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Paweł Sobociński and Fabio Zanasi

Reference:

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Paweł Sobociński and Fabio Zanasi, Confluence of Graph Rewriting with Interfaces, In Programming Languages and Systems – 26th European Symposium on Programming, ESOP 2017, Held as Part of ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings (Hongseok Yang, ed.), Springer, vol. 10201, pp. 141–169, 2017.

Bibtex Entry:

@InProceedings{Bonchi2017,
  author    = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawe{\l} Soboci{\'{n}}ski and Fabio Zanasi},
  title     = {Confluence of Graph Rewriting with Interfaces},
  booktitle = {Programming Languages and Systems -- 26th European Symposium on Programming, {ESOP} 2017, Held as Part of {ETAPS} 2017, Uppsala, Sweden, April 22--29, 2017, Proceedings},
  editor    = {Hongseok Yang},
  series    = {Lecture Notes in Computer Science},
  volume    = {10201},
  pages     = {141--169},
  publisher = {Springer},
  year      = {2017},
  doi       = {10.1007/978-3-662-54434-1\_6},
  url       = {https://doi.org/10.1007/978-3-662-54434-1\_6},
}