Comparison of immediate-update and workspace transactions: serializability and failure tolerance | IEEE Conference Publication | IEEE Xplore