基于几何化的拓扑结构对子迭代立即快照消息的敌手进行建模及其在集合协议中的应用
摘要：迭代立即快照模型(IIS)是信息敌手设置中的核心模型。我们考虑一般消息敌手，他们的执行是IIS消息敌手执行的任意子集。我们提出了一种新的拓扑方法来处理这种一般敌手，基于几何单纯复合体。我们能够直接在考虑的执行集合上定义一个拓扑，这既简化了使用拓扑进行分布式可计算性的方式，又增强了其能力。作为这个新的框架的应用，我们提出了对于解决一般的子IIS消息敌手的集合一致性问题的完整特征化和下界证明。
作者：Yannis Coutouly and Emmanuel Godard
论文ID：2304.05486
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-04-13