Enforcing isolation and ordering in STM (2007)

by T Shpeisman, V Menon, A-R Adl-Tabatabai, S Balensiefer, D Grossman, R L Hudson, K F Moore, B Saha
Venue:In Proceedings of the Conference on Programming language design and implementation (PLDI