A Java Inspired Semantics for Transactions in SOC (Extended Paper)

Laura Bocchi, Emilio Tuosto