Checked transactions in an asynchronous message passing environment | IEEE Conference Publication | IEEE Xplore