A Java Inspired Semantics for Transactions in SOC (Extended Paper)
Laura Bocchi, Emilio Tuosto
Download
extended paper