A Theory of Operational Equivalence for Interaction Nets

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.

Abstract

Abstract is missing.