Bisimulations for untyped imperative objects (0)

by Vasileios Koutavas, Mitchell Wand
Venue:Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006