Abstraction for Concurrent Objects.

Ivana Filipovic Peter W. O'Hearn Noam Rinetzky Hongseok Yang

Published in: ESOP (2009)

Keyphrases

high level
multiple objects
real time
case study
moving objects
viewpoint
mobile robot
spatial relationships
object classes
target object
bounding box