Checking interference with fractional permissions. (2003)

by J Boyland
Venue:Proc. 10th Symposium on Static Analysis,