P.G.: Extended sequential reasoning for data-race-free programs (2011)

by L Effinger-Dean, H-J Boehm, D R Chakrabarti, Joisha
Venue:In: MSPC