Please note the non-standard room. Maribel will be in the department for the week, hosted by Adriana Compagnoni.

Abstract

Following the recent success of applying methods based on bisimulation to functional and object oriented programming languages, we study a notion of operational equivalence for interaction nets. We set up notions of contextual equivalence and bisimilarity and show that they coincide. A coinduction principle then gives a simple and robust way of showing when two interaction nets are contextually equivalent. We give several examples to demonstrate the usefulness of the approach, in particular for optimizing interaction nets.

This is joint work with Ian Mackie.