University of Illinois Urbana-Champaign USA;
University of Oslo Oslo Norway;
Shanghai Key Laboratory of Trustworthy Computing ECNU Shanghai China;
机译:非事务性分布式存储系统中的一致性
机译:具有区域性的分布式事务处理系统的并发一致性控制协议分析
机译:联合专家物种形成系统JESS-IV:具有自动实现热力学一致性的自动方法的大型水溶液物理化学性质数据库
机译:Maude中分布式交易系统一致性的自动分析
机译:检测分布式存储系统中的一致性违规
机译:使用远程过程调用(RPC)进行异构分布式临床信息系统的事务处理
机译:非事务性分布式存储系统的一致性