Distributed transaction processing with Encina | IEEE Conference Publication | IEEE Xplore