A Theory of Operational Equivalence for Interaction Nets.

Maribel Fernndez, Ian Mackie

Browse the full LATIN paper archive.