High-level small-step operational semantics for transactions (2008)

by K F Moore, D Grossman
Venue:In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages