Building efficient and available distributed transaction with Paxos-based coding consensus | IEEE Conference Publication | IEEE Xplore