Ling Cheung, Jesse Hughes. Concise Graphs and Functional Bisimulations. Electronic Notes in Theoretical Computer Science, 100:5-29, 2004. [doi]
@article{CheungH04, title = {Concise Graphs and Functional Bisimulations}, author = {Ling Cheung and Jesse Hughes}, year = {2004}, doi = {10.1016/j.entcs.2004.09.003}, url = {http://dx.doi.org/10.1016/j.entcs.2004.09.003}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/CheungH04}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {100}, pages = {5-29}, }