Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications (2010)

by Jacob Burnim, George Necula, Koushik Sen
Venue:In: HotPar ’10: Proceedings of the 2nd USENIX Workshop on Hot Topics in Parallelism