首页> 外文OA文献 >Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms

【2h】

Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms

机译：容错分布式算法中消息计数抽象的准确性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Konnov Igor; Widder Josef; Spegni Francesco; Luca Spalazzi;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm [J] . Dominique Cansell, Dominique Mery Theoretical computer science . 2006,第3期

机译：分布式算法的正式和增量构建：关于分布式引用计数算法
2. Message-optimal protocols for fault-tolerant broadcasts/multicasts in distributed systems with crash failures [J] . Hong-Yi Tzeng, Kai-Yeung Siu IEEE Transactions on Computers . 1995,第2期

机译：具有崩溃故障的分布式系统中的容错广播/组播的消息最佳协议
3. Reductions and abstractions for formal verification of distributed round-based algorithms [J] . Barbosa Raul, Fonseca Alcides, Araujo Filipe Software Quality Journal . 2021,第3期

机译：减少和抽象进行分布式圆形算法正式验证
4. Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms [C] . Igor Konnov, Josef Widder, Francesco Spegni, International conference on verification, model checking, and abstract interpretation . 2017

机译：容错分布式算法中消息计数抽象的准确性
5. DESIGNING FAULT-TOLERANT ALGORITHMS FOR DISTRIBUTED SYSTEMS USING COMMUNICATION PRIMITIVES (BYZANTINE, AGREEMENT). [D] . SRIKANTH, T. K. 1986

机译：使用通信原理（拜占庭，协议）为分布式系统设计容错算法。
6. Reconciling fault-tolerant distributed algorithms and real-time computing [O] . Heinrich Moser, Ulrich Schmid -1

机译：协调容错分布式算法和实时计算
7. Abstractions for Fault-Tolerant Distributed System Verification [O] . Miner, Paul S., Geser, Alfons, Pike, Lee S., 2004

机译：容错分布式系统验证的抽象
8. Abstractions for Fault-Tolerant Distributed System Verification [R] . Pike, Lee S., Maddalon, Jeffrey M., Miner, Paul S., 2004

机译：容错分布式系统验证的抽象

Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms

著录项

引文网络

相似文献

相关主题

期刊订阅