A transaction definition based on message passing | IEEE Conference Publication | IEEE Xplore