机译:语义可序列化性:在高级数据库应用程序中处理事务的正确性标准
机译:OmniOrder:基于目录的事务冲突序列化
机译:基于语义的交易处理:满足冲突的目标
机译:关于Herbrand语义和读写事务的冲突可序列化(扩展摘要)
机译:扩展和完善用于业务流程执行语言的Web服务体系结构的抽象操作语义。
机译:脑电神经振荡动力学揭示冲突意识不同水平上的语义和响应冲突
机译:OmniOrder:基于目录的交易冲突序列化*
机译:计算科学:在基于Word的软件事务记忆中引入语义冲突解决方案。