University of Sussex
Browse

File(s) not publicly available

Operational Equivalence for Interaction Nets

journal contribution
posted on 2023-06-08, 00:22 authored by Maribel Fernández, Ian MackieIan Mackie
No description supplied

History

Publication status

  • Published

Journal

Theoretical Computer Science

ISSN

0304-3975

Issue

1-3

Volume

297

Page range

157-181

Pages

25.0

Department affiliated with

  • Informatics Publications

Notes

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.

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC