Bisimulations for Untyped Imperative Objects.

Vasileios Koutavas Mitchell Wand

Published in: ESOP (2006)

Keyphrases

d objects
real time
focus of attention
real world objects
data sets
databases
multimedia
training set
spatial objects
object models