Towards linking correctness conditions for concurrent objects and contextual trace refinement.

Brijesh Dongol Lindsay Groves

Published in: Refine@FM (2015)

Keyphrases

sufficient conditions
contextual information
keypoints
complex scenes
viewpoint
d objects
data objects
databases
computer vision
spatial relationships
individual objects
concurrent execution