Extending TP-monitors for intra-transaction parallelism | IEEE Conference Publication | IEEE Xplore