Distributed transaction processing in the TUXEDO system | IEEE Conference Publication | IEEE Xplore