A Formal Model for Compensable Transactions | IEEE Conference Publication | IEEE Xplore