Program Equivalence with Names

Nikos Tzevelekos. Program Equivalence with Names. In Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann 0001, editors, Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010. Volume 10351 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]

Abstract

Abstract is missing.