Bloom Filters; Dependability; Replication; Software Transactional Memory;
机译:正式验证本地和分布式Python软件事务记忆
机译:软件事务性分布式共享内存
机译:用于在python软件事务存储器上调度事务的在线算法
机译:D〜2STM:可靠的分布式软件事务内存
机译:通过AIR软件升级来提高分布式系统的可靠性
机译:使用软件事务存储器的高吞吐量状态机复制
机译:D 2 STM:可靠的分布式软件事务存储*
机译:可靠分布式软件的形式化方法