Analyzing Asynchronous Programs with Preemption.

Mohamed Faouzi Atig Ahmed Bouajjani Tayssir Touili

Published in: FSTTCS (2008)

Keyphrases

real time
computer vision
decision trees
data structure
lower bound
mobile robot
query language
computer programs
automatic programming
provably correct