Standard protocol complexes for the immediate snapshot read/write model
Standard protocol complexes for the immediate snapshot read/write model
复制标题
即时快照读/写模型的标准协议复合体
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
D. Kozlov
中科院分区：
文献类型：
--
作者：
D. Kozlov
本文考虑一类抽象简单复形，我们称之为即时快照复形。它们的定义源于理论上的分布式计算。具体来说，这些复合体在一般的即时快照执行模型中表现为协议复合体。
In this paper we consider a family of abstract simplicial complexes which we call immediate snapshot complexes. Their definition is motivated by theoretical distributed computing. Specifically, these complexes appear as protocol complexes in the general immediate snapshot execution model.
In order to define and to analyze the immediate snapshot complexes we use the novel language of witness structures. We develop the rigorous mathematical theory of witness structures and use it to prove several combinatorial as well as topological properties of the immediate snapshot complexes. In particular, we prove that these complexes are simplicially homeomorphic to simplices.