Bisimulations for Untyped Imperative Objects

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/11693024_11 ◽

2006 ◽

pp. 146-161 ◽

Cited By ~ 14

Author(s):

Vasileios Koutavas ◽

Mitchell Wand

Download Full-text