Tractable Refinement Checking for Concurrent Objects.

Ahmed Bouajjani Michael Emmi Constantin Enea Jad Hamza

Published in: POPL (2015)

Keyphrases

d objects
np complete
computer vision
computational complexity
moving objects
data objects
object models