@InProceedings{l00-p447-456, AUTHOR = {Maribel Fern\'andez and Ian Mackie}, TITLE = {A Theory of Operational Equivalence for Interaction Nets}, YEAR = 2000, BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)}, ADDRESS = {Punta del Este, Uruguay}, PAGES = {447--456}, KEYWORDS = {}}