Modular reasoning for deterministic parallelism (2011)

by M Dodds, S Jagannathan, M Parkinson
Venue:In POPL