Barbara König, Ugo Montanari. Observational Equivalence for Synchronized Graph Rewriting with Mobility. In Naoki Kobayashi, Benjamin C. Pierce, editors, Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings. Volume 2215 of Lecture Notes in Computer Science, pages 145-164, Springer, 2001. [doi]
@inproceedings{KonigM01,
title = {Observational Equivalence for Synchronized Graph Rewriting with Mobility},
author = {Barbara König and Ugo Montanari},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2215/22150145.htm},
tags = {synchronization, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/KonigM01},
cites = {0},
citedby = {0},
pages = {145-164},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
editor = {Naoki Kobayashi and Benjamin C. Pierce},
volume = {2215},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42736-8},
}