High-level smallstep operational semantics for transactions (2008)

by Katherine F Moore, Dan Grossman
Venue:In POPL ’08: Proc. 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages