Specification and management of extended transactions in a programmable transaction environment | IEEE Conference Publication | IEEE Xplore