Modeling optimistic concurrency using quantitative dependence analysis. (2008)

by C von Praun, R Bordawekar, C Cascaval
Venue:In Proceedings of the 13th ACM SIGPLAN symposium on Principles and practice of parallel programming,