A program logic for concurrent objects under fair scheduling.

Hongjin Liang Xinyu Feng

Published in: POPL (2016)

Keyphrases

moving objects
scheduling problem
bounding box
scheduling algorithm
static analysis
object models
multiple objects
object model
image segmentation
d objects
spatial relations
object segmentation
modal logic
data objects
resource allocation
computer programs
response time
concurrent programming