机译:CheckFence:检查宽松内存模型上并发数据类型的一致性
机译:具有原子可见性的事务一致性模型的框架
机译:交易处理软件的模型检查和代码生成
机译:简要公告:查看交易:具有宽松一致性检查的交易模型
机译:使用XML的复合Web服务的轻松事务模型。
机译:预防幼儿忽视的一种交易方法:家庭检查作为公共卫生策略
机译:内存密集型事务的一致性检查优化算法; CU-CS-1049-08
机译:检验点和恢复策略支持的交易系统的马尔可夫模型。第2部分:检查点之间具有指定事务数的aa模型