On Closed Nesting and Checkpointing in Fault-Tolerant Distributed Transactional Memory | IEEE Conference Publication | IEEE Xplore