Bisimulations for Untyped Imperative Objects Vasileios Koutavas and Mitchell Wand Northeastern University - WAND - Document - PDFSEARCH.IO

First Page	Meta Content
	Bisimulations for Untyped Imperative Objects Vasileios Koutavas and Mitchell Wand Northeastern University Add to Reading List Document Date: 2006-01-06 10:40:05 Open Document File Size: 189,29 KB Share Result on Facebook / Organization Northeastern University / / Person Mitchell Wand / / Technology Cloning / Dom / / SocialTag Mathematics Logic Metalogic Model theory Structure

Bisimulations for Untyped Imperative Objects Vasileios Koutavas and Mitchell Wand Northeastern University Add to Reading List