University of Illinois, Urbana-Champaign, USA;
University of Oslo, Oslo, Norway;
University of Illinois, Urbana-Champaign, USA;
University of Illinois, Urbana-Champaign, USA;
University of Illinois, Urbana-Champaign, USA;
University of Illinois, Urbana-Champaign, USA;
机译:阅读原子交易以防止丢失更新:ROLA及其形式分析
机译:具有区域性的分布式事务处理系统的并发一致性控制协议分析
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法
机译:罗拉:一个新的分布式交易协议及其正式分析
机译:正式规范和验证可靠的分布式协议的模块化方法。
机译:Beta分布式大规模MTC访问的新型混合S-ALOHA / TDMA协议的性能分析
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法
机译:Controle de Coherence en systemes Transactionnels。 Tome 2. protocole de Controle de Coherence dans UN sgbd Reparti(交互系统中的一致性控制。第2卷。分布式数据库管理中的一致性控制协议