Analyzing Asynchronous Programs with Preemption.

Mohamed Faouzi Atig Ahmed Bouajjani Tayssir Touili Analyzing Asynchronous Programs with Preemption. 2008 FSTTCS http://drops.dagstuhl.de/opus/volltexte/2008/1739 conf/fsttcs/2008 db/conf/fsttcs/fsttcs2008.html#AtigBT08