The notion of contextual equivalence is fundamental in the theory of programming languages. By setting up a notion of bisimilarity, and showing that it coincides with contextual equivalence, one obtains a simple coinductive proof technique for showing that two programs are equivalent in all contexts. In this paper we apply these (now standard) techniques to interactions nets, a graphical programming language characterized by local reduction. This work generalizes previous studies of operational equivalence in interaction nets since it can be applied to untyped systems, thus all systems of interaction nets are captured. © Springer-Verlag Berlin Heidelberg 2000.
CITATION STYLE
Fernández, M., & Mackie, I. (2000). A theory of operational equivalence for interaction nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1776 LNCS, pp. 447–456). https://doi.org/10.1007/10719839_44
Mendeley helps you to discover research relevant for your work.