Fernández, Maribel and Mackie, Ian (2003) Operational Equivalence for Interaction Nets. Theoretical Computer Science, 297 (1-3). pp. 157-181. ISSN 0304-3975

Full text not available from this repository.

Item Type:	Article
Additional Information:	Originality: This paper introduces for the first time an operational theory of interaction nets: in particular techniques and tools to compute when two programs are equivalent. Rigour: The main result of the paper, that contextual equivalence and bisimilarity coincide, gives a powerful proof technique that has been used to prove correct compiler optimisations, and correctness proofs of encodings of other languages into interaction nets. Significance: Brings powerful operational techniques into the realm of interaction nets. Impact: This work has been used as the starting point for several other studies of operational equivalence, including two PhD theses at other institutions.
Schools and Departments:	School of Engineering and Informatics > Informatics
Depositing User:	Ian Mackie
Date Deposited:	06 Feb 2012 19:52
Last Modified:	28 Mar 2012 14:26
URI:	http://sro.sussex.ac.uk/id/eprint/22712

📧 Request an update