机译:一个开放和安全的嵌套事务模型的并发控制算法:形式化和正确性
机译:关于软件事务存储的并发控制算法的解析模型:提交时间锁定的情况
机译:使用嵌套事务和I / O自动机的并发线性哈希结构算法的形式化和正确性
机译:用于开放和安全的嵌套事务模型的并发控制算法
机译:用于分布式数据库中事务并发控制的临时正确算法。
机译:带有合并的增强模型预测控制算法的Space GlucoseControl是医疗ICU患者进行血糖控制的安全可靠工具
机译:一个开放且安全的嵌套事务模型:并发和恢复
机译:嵌套分布式事务的乐观并发控制。