Maribel Fernández, Ian Mackie. A Theory of Operational Equivalence for Interaction Nets. In Gaston H. Gonnet, Daniel Panario, Alfredo Viola, editors, LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000, Proceedings. Volume 1776 of Lecture Notes in Computer Science, pages 447-456, Springer, 2000.
@inproceedings{FernandezM00,
title = {A Theory of Operational Equivalence for Interaction Nets},
author = {Maribel Fernández and Ian Mackie},
year = {2000},
researchr = {https://researchr.org/publication/FernandezM00},
cites = {0},
citedby = {0},
pages = {447-456},
booktitle = {LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000, Proceedings},
editor = {Gaston H. Gonnet and Daniel Panario and Alfredo Viola},
volume = {1776},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67306-7},
}