Semantics for Transactions in Shared Object Worlds