High-level small-step operational semantics for transactions (technical companion (2007)

by Katherine F. Moore , Dan Grossman
Citations:55 - 4 self